search

rzach / multlog

M. Ultlog, the genius many-valued logic expert
https://logic.at/multlog
7 stars 1 forks source link

Add itemize to doc, fix installation script (run pdflatex three times) #20

Closed gsalzer closed 2 months ago

gsalzer commented 2 months ago

Not sure, whether the pseudo-inline itemize is intended:

The script will - determine the location of some Unix commands - ask the
user for the Prolog to use - ask the user for the place where to put
MUltlog - generate the deinstallation script
\passthrough{\lstinline!ml\_deinstall!} - insert the correct paths in
some of MUltlog's files - copy the MUltlog files in the right places.

If not: I have modified multlog.md as well as multlog.tex to transform it to a proper itemize. If one file is generated from the other via pandoc, then pick the appropriate file.

Independently of this change, multlog.tex needs to be compiled three times in the installation script, not just twice. Probably shouldn't have been the same commit.

rzach commented 2 months ago

Yes, website/Makefile converts doc/multlog.md to LaTeX. But I don't think it hurts to change it by hand this once.