diff options
Diffstat (limited to 'apps/plugins/puzzles/src/Makefile.doc')
| -rw-r--r-- | apps/plugins/puzzles/src/Makefile.doc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/apps/plugins/puzzles/src/Makefile.doc b/apps/plugins/puzzles/src/Makefile.doc new file mode 100644 index 0000000..c7d6946 --- /dev/null +++ b/apps/plugins/puzzles/src/Makefile.doc @@ -0,0 +1,17 @@ +all: puzzles.hlp puzzles.txt HACKING + +preprocessed.but: puzzles.but + sed 's/PREFIX-/$(BINPREFIX)/g' puzzles.but > preprocessed.but + +puzzles.hlp puzzles.txt: preprocessed.but + halibut --winhelp=puzzles.hlp --text=puzzles.txt preprocessed.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 preprocessed.but HACKING *.html *.hh[pck] |