diff --git a/manual/Makefile b/manual/Makefile index 084733b..e4f7e9b 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -2,6 +2,17 @@ IMG= flow.epsi flow-simple.epsi DEPS= preamble.tex macros.tex MSC= msc-ns.pdf +# There are two main targets: +# +# scyther-manual.pdf +# Produced the version of the manual that is immediately copied to its +# target destination in ../gui; this is the static copy we want in the +# repository anyway. +# +# scyther-manual-draft.pdf +# This is more of a development output, which also shows personal todo +# notes. It enables the `draftversion` setting in the latex build. +# all: scyther-manual.pdf scyther-manual-draft.pdf %.epsi: %.dot @@ -23,7 +34,6 @@ scyther-manual.pdf: scyther-manual.tex biblio.bib $(IMG) $(DEPS) $(MSC) bibtex scyther-manual pdflatex scyther-manual.tex pdflatex scyther-manual.tex - # Copy to expected location cp scyther-manual.pdf ../gui/ SDRAFT= --jobname=scyther-manual-draft "\def\draftversion{yes}\input{scyther-manual}"