diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 624bf54..762b1d1 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,10 +7,10 @@ HALIBUT = ../build/halibut all: Contents.html halibut.1 Contents.html: $(INPUTS) $(HALIBUT) - $(HALIBUT) --text=halibut.txt --html $(INPUTS) + $(HALIBUT) --text=halibut.txt --html --info=halibut.info $(INPUTS) halibut.1: manpage.but $(HALIBUT) --man=halibut.1 manpage.but clean: - rm -f *.html *.txt *.hlp *.cnt *.1 + rm -f *.html *.txt *.hlp *.cnt *.1 *.info* |