File: generate-doc.sh

package info (click to toggle)
logol 1.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 5,108 kB
  • ctags: 1,146
  • sloc: java: 10,689; perl: 2,658; ansic: 362; xml: 359; ruby: 281; sh: 102; makefile: 39
file content (11 lines) | stat: -rwxr-xr-x 167 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
#!/bin/bash

cp ../prolog/logol.pl logoldoc.pl
swipl -f swidoc.pl -- logoldoc.pl
pdflatex logol.tex

rm logoldoc.pl
rm logol.tex

mv logol.pdf ../Doc/logolParser.pdf