diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0e8737a..624bf54 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,13 +1,16 @@ -CHAPTERS := $(SITE) blurb intro running input output licence index +CHAPTERS := $(SITE) blurb intro running input output licence manpage index INPUTS = $(patsubst %,%.but,$(CHAPTERS)) HALIBUT = ../build/halibut -all: Contents.html +all: Contents.html halibut.1 Contents.html: $(INPUTS) $(HALIBUT) $(HALIBUT) --text=halibut.txt --html $(INPUTS) +halibut.1: manpage.but + $(HALIBUT) --man=halibut.1 manpage.but + clean: rm -f *.html *.txt *.hlp *.cnt *.1 |