id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	port
22726	Cannot compile LaTeX doc for Coq	hippallium-macports@…	reilles@loria.fr	"{{{
$ sudo port install coq +coqide +doc

--->  Fetching coq
--->  Attempting to fetch coq-8.2pl1.tar.gz from http://distfiles.macports.org/coq
--->  Verifying checksum(s) for coq
--->  Extracting coq
--->  Applying patches to coq
--->  Configuring coq
--->  Building coq
Error: Target org.macports.build returned: shell command "" cd ""/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_lang_coq/work/coq-8.2pl1"" && /usr/bin/make -j2 world "" returned error 2
Command output: 
! Extra }, or forgotten dgroup. (file Reference-Manual.tex)
l.188 }

I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

) (./RefMan-modr.aux) (./RefMan-oth.v.aux) (./RefMan-pro.aux) (./RefMan-tac.v.a
ux) (./RefMan-ltac.v.aux) (./RefMan-tacex.v.aux) (./RefMan-decl.v.aux) (./RefMa
n-syn.v.aux) (./RefMan-com.aux) (./RefMan-uti.aux) (./RefMan-ide.aux) (./AddRef
Man-pre.aux) (./Cases.v.aux) (./Coercion.v.aux) (./Classes.v.aux) (./Omega.v.au
x) (./Micromega.v.aux) (./Extraction.v.aux) (./Program.v.aux) (./Polynom.v.aux)
Runaway argument?
{! File ended while scanning use of \@writefile. (file Reference-Manual.tex)
<inserted text>
\par
l.46 \@input{Polynom.v.aux}

I suspect you have forgotten a `}', causing me
to read past where you wanted me to stop.
I'll try to recover; but if the error is serious,
you'd better type `E' or `X' now and fix your file.

make[1]: *** [doc/refman/Reference-Manual.pdf] Error 1
make[1]: *** Waiting for unfinished jobs....
LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
make: *** [world] Error 2

Error: Status 1 encountered during processing.

$ sudo port install coq +coqide +doc

--->  Computing dependencies for coq
--->  Building coq
--->  Staging coq into destroot
--->  Installing coq @8.2pl1_1+coqide+doc
--->  Activating coq @8.2pl1_1+coqide+doc
The style file for LaTeX documentation,
coqdoc.sty, is in /opt/local/share/coq/latex.
Add this to your TEXINPUTS if you wish to
use it.
--->  Cleaning coq

$ 
}}}"	defect	new	Normal		ports	1.8.1		LaTeX		coq