diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 1 | ||||
| -rw-r--r-- | doc/Makefile | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/doc/.cvsignore b/doc/.cvsignore index c59962b..72e10da 100644 --- a/doc/.cvsignore +++ b/doc/.cvsignore @@ -3,3 +3,4 @@ *.gid *.GID *.log *.1 +*.info *.info-* 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* |