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