clarifications etc. from notes

[quacks.git] / Makefile

diff --git a/Makefile b/Makefile
index 05473cefa67814c803e80c3fe44d03ac9258347f..0df6e5d64ef6c3d3c55f62fd2a8b3502da510a60 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,7 +3,7 @@
 # Copyright 2020-2021 Ian Jackson
 
 PUBLISH_MD += pumpkin-books house-rules
-PUBLISH += pumpkin-books.pdf index.html
+PUBLISH += pumpkin-books.pdf overflow-tube.pdf index.html
 PUBLISH += LICENCE.txt GPL-3.txt CC-BY-SA-4.0.txt
 PUBLISH += $(addsuffix .md.txt,  $(PUBLISH_MD))
 PUBLISH += $(addsuffix .md.html, $(PUBLISH_MD))
@@ -33,10 +33,10 @@ use_rsvg=rsvg-convert -f png -o $@.tmp.png $<
 shell_pipe=set -o pipefail; set -e;
 make_pnm = pnmdepth 255 | pnmnoraw $o
 
-pumpkin-books.ps: pumpkin-books.ps.pl bag.pgm pot.pgm droplet.ppm
+%.ps: %.ps.pl bag.pgm pot.pgm droplet.ppm
        ./$< $(BOOKS) $o
 
-pumpkin-books.pdf: pumpkin-books.ps
+%.pdf: %.ps
        gs -q -dNOPAUSE -dBATCH -dPDFSETTINGS=/prepress \
                -sDEVICE=pdfwrite -sOutputFile=$@ $<