From e32819fc6af9e6f7d3ddf2efbe4b598cfc17b03b Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Sun, 12 Feb 2023 22:39:52 +0100
Subject: [PATCH] Minimal comment

---
 manual/Makefile | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

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}"