diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/Makefile b/doc/Makefile index 762b1d1..8b56d43 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -4,10 +4,11 @@ INPUTS = $(patsubst %,%.but,$(CHAPTERS)) HALIBUT = ../build/halibut -all: Contents.html halibut.1 +all: index.html halibut.1 -Contents.html: $(INPUTS) $(HALIBUT) - $(HALIBUT) --text=halibut.txt --html --info=halibut.info $(INPUTS) +index.html: $(INPUTS) $(HALIBUT) + $(HALIBUT) --text=halibut.txt --html --info=halibut.info \ + --ps=halibut.ps --pdf=halibut.pdf $(INPUTS) halibut.1: manpage.but $(HALIBUT) --man=halibut.1 manpage.but |