diff options
Diffstat (limited to 'Makefile.doc')
| -rw-r--r-- | Makefile.doc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.doc b/Makefile.doc index d127e78..677bc8e 100644 --- a/Makefile.doc +++ b/Makefile.doc @@ -3,5 +3,5 @@ all: puzzles.hlp puzzles.txt HACKING puzzles.hlp puzzles.txt: puzzles.but halibut --winhelp=puzzles.hlp --text=puzzles.txt puzzles.but -HACKING: HACKING.but - halibut --text=HACKING HACKING.but +HACKING: devel.but + halibut --text=HACKING devel.but |