diff options
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 7 |
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] |