X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/3ab4da43253d8dea5dea161b741b5cc51b97ad63..47b5a6ae715898fe660b8a8fe653742c0e7ad48e:/doc/Makefile diff --git a/doc/Makefile b/doc/Makefile index c089fa13..36e3672b 100644 --- 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)