From 82a5090ac5263f500aedae328c24551e11c80acf Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 13 Apr 2012 16:49:30 +0000
Subject: Restores pdf bookmarks in the reference manual.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15160 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Reference-Manual.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex
index cc42c2ef2e..b3cca6f137 100644
--- a/doc/refman/Reference-Manual.tex
+++ b/doc/refman/Reference-Manual.tex
@@ -35,7 +35,7 @@
 \input{../common/title.tex}% extension .tex pour htmlgen
 %\input{headers}
 
-\usepackage[linktocpage,colorlinks,bookmarks=false]{hyperref}
+\usepackage[linktocpage,colorlinks]{hyperref}
 % The manual advises to load hyperref package last to be able to redefine
 % necessary commands.
 % The above should work for both latex and pdflatex. Even if PDF is produced
-- 
cgit v1.2.3