Package: coq-doc Version: 8.1-2 Severity: important Justification: fails to build from source
Hi!
coq-doc currently fails to build in sid [1]:
--- 8< ---
! LaTeX Error: File `comment.sty' not found.
Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)
Enter file name:
! Emergency stop.
<read *>
l.15 \newif
\ifhevea\heveafalse^^M
No pages of output.
Transcript written on Reference-Manual.log.
make[1]: *** [refman/Reference-Manual.dvi] Error 1
--- >8 ---
This seems to be due to the transition from teTeX to TeX Live [2]
currently happening. A page with some hints and strategies has been
written to help you achieving the transition [3].
[1] http://people.debian.org/~lucas/logs/2007/04/rebuild.sid.i386.20070416/coq-doc_8.1-2_sid32.buildlogI
[2] http://lists.debian.org/debian-devel-announce/2007/04/msg00006.html
[3] http://pkg-tetex.alioth.debian.org/mapping-texlive.html
Cheers,
--
Jérémy Bobbio .''`.
[EMAIL PROTECTED] : :Ⓐ : # apt-get install anarchism
`. `'`
`-
signature.asc
Description: Digital signature
