aboutsummaryrefslogtreecommitdiff
path: root/Makefile.doc
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.doc')
-rw-r--r--Makefile.doc7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 677bc8e..ff67357 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -5,3 +5,10 @@ puzzles.hlp puzzles.txt: puzzles.but
HACKING: devel.but
halibut --text=HACKING devel.but
+
+chm: puzzles.hhp
+puzzles.hhp: puzzles.but chm.but
+ halibut --html puzzles.but chm.but
+
+clean:
+ rm -f puzzles.hlp puzzles.txt HACKING *.html *.hh[pck]