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 @@
+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]