File: fix_pldoc2tex_generation

package info (click to toggle)
logol 1.7.0-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 4,660 kB
  • ctags: 1,144
  • sloc: java: 10,613; perl: 2,651; ansic: 362; xml: 322; ruby: 280; sh: 115; makefile: 35
file content (21 lines) | stat: -rw-r--r-- 754 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
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@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