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 0000000000..c7d6946cf1 --- /dev/null +++ b/apps/plugins/puzzles/src/Makefile.doc | |||
@@ -0,0 +1,17 @@ | |||
1 | all: puzzles.hlp puzzles.txt HACKING | ||
2 | |||
3 | preprocessed.but: puzzles.but | ||
4 | sed 's/PREFIX-/$(BINPREFIX)/g' puzzles.but > preprocessed.but | ||
5 | |||
6 | puzzles.hlp puzzles.txt: preprocessed.but | ||
7 | halibut --winhelp=puzzles.hlp --text=puzzles.txt preprocessed.but | ||
8 | |||
9 | HACKING: devel.but | ||
10 | halibut --text=HACKING devel.but | ||
11 | |||
12 | chm: puzzles.hhp | ||
13 | puzzles.hhp: puzzles.but chm.but | ||
14 | halibut --html puzzles.but chm.but | ||
15 | |||
16 | clean: | ||
17 | rm -f puzzles.hlp puzzles.txt preprocessed.but HACKING *.html *.hh[pck] | ||