From a6e9ffc7078dfefc1acd3892086bd6320da14add Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Mon, 2 Oct 2006 14:42:49 +0000
Subject: [PATCH] Fix pdf bookmarks (for more recent versions of pdftex).

Fix from A.M.Raportirenko on cmucl-help, 25 Sep 2006.
---
 docs/cmu-user/cmu-user.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cmu-user/cmu-user.tex b/docs/cmu-user/cmu-user.tex
index 444da1ccd..2c89a0a75 100644
--- a/docs/cmu-user/cmu-user.tex
+++ b/docs/cmu-user/cmu-user.tex
@@ -35,9 +35,9 @@
 \usepackage{ifthen}
 \usepackage{calc}
 \usepackage{sectsty}
+\usepackage{varioref}
 \usepackage[hyperindex=false,colorlinks=false,urlcolor=blue]{hyperref}
 \usepackage{html}
-\usepackage{varioref}
 
 \input{macros}
 
-- 
GitLab