chiark / gitweb /
Now we have the `dir' parameter, we should use it where it makes
[sgt-puzzles.git] / Makefile.doc
1 puzzles.hlp puzzles.txt: puzzles.but
2         halibut --winhelp=puzzles.hlp --text=puzzles.txt puzzles.but