Index "MAC" a bit more thoroughly.

[sgt/putty] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index c089fa1..36e3672 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -46,6 +46,10 @@ HALIBUT = halibut
 index.html: $(INPUTS)
        $(HALIBUT) --text --html --winhelp $(INPUTS)
 
+# During formal builds it's useful to be able to build this one alone.
+putty.hlp: $(INPUTS)
+       $(HALIBUT) --winhelp $(INPUTS)
+
 putty.info: $(INPUTS)
        $(HALIBUT) --info $(INPUTS)