Bug#719079: swi-prolog: pldoc generate tex not supported by pdf2latex

2013-08-15 Thread Eugeniy Meshcheryakov
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

Bug#719079: swi-prolog: pldoc generate tex not supported by pdf2latex

2013-08-11 Thread Eugeniy Meshcheryakov
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

Bug#719079: swi-prolog: pldoc generate tex not supported by pdf2latex

2013-08-08 Thread Olivier Sallou
Package: swi-prolog Version: 6.4.1-2 Severity: normal 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: