/usr/share/logol/tools/generate-doc.sh is in logol 1.6.10-1build1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 | #!/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
|