[med-svn] r14387 - trunk/packages/logol/trunk/debian/patches

[olivier sallou]

Author: osallou-guest
Date: 2013-08-08 11:34:02 +0000 (Thu, 08 Aug 2013)
New Revision: 14387

Added:
   trunk/packages/logol/trunk/debian/patches/fix_pldoc2tex_generation
Modified:
   trunk/packages/logol/trunk/debian/patches/series
Log:
add patch to fix pldoc tex generation

Added: trunk/packages/logol/trunk/debian/patches/fix_pldoc2tex_generation
===================================================================
--- trunk/packages/logol/trunk/debian/patches/fix_pldoc2tex_generation	                        (rev 0)
+++ trunk/packages/logol/trunk/debian/patches/fix_pldoc2tex_generation	2013-08-08 11:34:02 UTC (rev 14387)
@@ -0,0 +1,21 @@
+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 at 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

Modified: trunk/packages/logol/trunk/debian/patches/series
===================================================================
--- trunk/packages/logol/trunk/debian/patches/series	2013-08-08 09:03:56 UTC (rev 14386)
+++ trunk/packages/logol/trunk/debian/patches/series	2013-08-08 11:34:02 UTC (rev 14387)
@@ -3,3 +3,4 @@
 setDebianDirs
 fix_doc_generation
 harden_swipl_declarations
+fix_pldoc2tex_generation