chiark / gitweb /
clarifications etc. from notes
[quacks.git] / Makefile
index 1a58fe5d83d39b5428c44eabb12bb269c31f8109..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))