Hi,
11 серпня 2013 о 16:14 +0200 Eugeniy Meshcheryakov написав(-ла):
> 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...I've fixed this bug in 6.4.1-3. But if you want to use pldoc.sty from swi-prolog-nox package you'll have to remove this file from logol package. Regards, Eugeniy Meshcheryakov
signature.asc
Description: Digital signature
