Hi,
8 серпня 2013 о 13:30 +0200 Olivier Sallou написав(-ла):
> Dear Maintainer,
> the documentation generated by pldoc to convert from pl to tex generate errors
> when executing pdflatex since recent textlive and/or swi-prolog updates.
>
> I had to apply the following update to my generated tex file to be valid:
>
> sed -i
> 's/makeindex/makeindex\n\\newenvironment{arguments}{\\textbf{Arguments}
> \\newline}{\\vspace*{0.5\\baselineskip}}/' logol.tex
> sed -i 's/} &/}/g' logol.tex
>
> I need to defined *arguments* and remove the *&* character added after
> arguments in tex file.
The problem here is not that pldoc generates incorrect text file, but
that logol uses bundled pldoc.sty file that does not contain definitions
expected by pldoc. When compiling with pldoc.sty supplied with
swi-prolog-nox package (/usr/lib/swi-prolog/library/pldoc/pldoc.sty)
your patch is not needed. Now I just to have to find out where to
install that file so latex finds it by default...Regards, Eugeniy Meshcheryakov
signature.asc
Description: Digital signature
