diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index e0cc27a..0000000 --- a/doc/Makefile +++ /dev/null @@ -1,24 +0,0 @@ -mandir=$(prefix)/man -man1dir=$(mandir)/man1 - -CHAPTERS := $(SITE) blurb intro running input output licence manpage index - -INPUTS = $(patsubst %,%.but,$(CHAPTERS)) - -HALIBUT = ../build/halibut - -all: index.html halibut.1 - -index.html: $(INPUTS) $(HALIBUT) - $(HALIBUT) --text=halibut.txt --html --info=halibut.info \ - --ps=halibut.ps --pdf=halibut.pdf --chm=halibut.chm $(INPUTS) - -halibut.1: manpage.but - $(HALIBUT) --man=halibut.1 manpage.but - -install: - mkdir -p $(man1dir) - $(INSTALL) -m 644 halibut.1 $(man1dir)/halibut.1 - -clean: - rm -f *.html *.txt *.hlp *.cnt *.1 *.info* *.ps *.pdf *.chm |