Bug#543548: coq-doc-pdf: bookmarks and links for table of contents

[Lionel Elie Mamane]

Package: coq-doc-pdf
Version: 8.1-3
Severity: wishlist

It would be much nicer to read the documentation if the PDFs contained
bookmarks for each table of contents entry, and the table of content
entries (and footnotes and reference, etc) were clickable PDF internal
links.

Just adding \usepackage{hyperref} may be all that is needed.

-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (600, 'testing'), (500, 'transitional'), (500, 'unstable')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.30-1-amd64 (SMP w/2 CPU cores)
Locale: LANG=fr_LU.UTF-8, LC_CTYPE=fr_LU.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#543548: coq-doc-pdf: bookmarks and links for table of contents

[Hendrik Tews]

found 543548 coq-doc/8.4pl4-2
forwarded 543548 https://coq.inria.fr/bugs/show_bug.cgi?id=5636
thanks

Hi,

as others have noticed, the reference manual contains the
bookmarks and the links for some while already. However, the FAQ,
the Tutorial and the RecTutorial do not.

Hendrik