Package: coq-doc-html Version: 8.1~gamma-1 Severity: normal The lower frame of index.html refers to the files toc.html, biblio.html, general-index.html, etc. None of these files is included in the coq-doc-html package, as the reference manual was generated as a single huge html file. So, either the index.html, cover.html, and menu.html should be removed from the package, either hevea should be configured to generate a split documentation. The second option would be preferred, as it makes the documentation easier to read in my opinion.
-- System Information: Debian Release: 4.0 APT prefers testing APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/dash Kernel: Linux 2.6.18-3-686 Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
