diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 7530825..cfdd943 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,3 +1,6 @@ +mandir=$(prefix)/man +man1dir=$(mandir)/man1 + CHAPTERS := $(SITE) blurb intro running input output licence manpage index INPUTS = $(patsubst %,%.but,$(CHAPTERS)) @@ -13,5 +16,8 @@ index.html: $(INPUTS) $(HALIBUT) halibut.1: manpage.but $(HALIBUT) --man=halibut.1 manpage.but +install: + $(INSTALL) -m 644 halibut.1 $(man1dir)/halibut.1 + clean: rm -f *.html *.txt *.hlp *.cnt *.1 *.info* *.ps *.pdf |