Subject: generated tex by pldoc not supported by texlive
Description: lpdoc generate tex file from prolog. Generated file
 fails to be converted with pdflatex since later releases.
 This patch modifies generated file to support pdf conversion.
Author: Olivier Sallou <osallou@debian.org>
Last-Updated: 2013-08-08
Forwarded: yes
Bug: 719079
--- a/tools/generate-doc.sh
+++ b/tools/generate-doc.sh
@@ -2,6 +2,10 @@
 
 sed  's/,\[assertions,basicmodes,functions,regtypes,hiord\]//' ../prolog/logol.pl > logoldoc.pl
 swipl -f swidoc.pl -- logoldoc.pl
+
+sed -i 's/makeindex/makeindex\n\\newenvironment{arguments}{\\textbf{Arguments} \\newline}{\\vspace*{0.5\\baselineskip}}/' logol.tex
+sed -i  's/} &/}/g'  logol.tex
+
 pdflatex logol.tex
 
 rm logoldoc.pl
