diff options
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Makefile.doc b/Makefile.doc index c7d6946..0fd28db 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -1,17 +1,17 @@ -all: puzzles.hlp puzzles.txt HACKING +all: puzzles.chm 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 +puzzles.chm: preprocessed.but + halibut --chm=puzzles.chm preprocessed.but +puzzles.hlp: preprocessed.but + halibut --winhelp=puzzles.hlp preprocessed.but +puzzles.txt: preprocessed.but + halibut --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] |