diff options
| author | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:47:13 +0000 |
|---|---|---|
| committer | Eric Wong <normalperson@yhbt.net> | 2013-08-25 00:47:13 +0000 |
| commit | f468d58468b224ea3fb468c9543d8631164f8c55 (patch) | |
| tree | 8870411e6e8a9aebca82d3175ba71cb808c013f8 /Documentation/GNUmakefile | |
| parent | fbe1dbf48bc0573935e410013da86bda03426af4 (diff) | |
| download | dtas-f468d58468b224ea3fb468c9543d8631164f8c55.tar.gz | |
We should be compatible with "gem-man", as well as allowing installation to prefix ($HOME by default) via: make -C Documentation install-man
Diffstat (limited to 'Documentation/GNUmakefile')
| -rw-r--r-- | Documentation/GNUmakefile | 28 |
1 files changed, 19 insertions, 9 deletions
diff --git a/Documentation/GNUmakefile b/Documentation/GNUmakefile index 9144949..94c81d5 100644 --- a/Documentation/GNUmakefile +++ b/Documentation/GNUmakefile @@ -21,16 +21,26 @@ all:: man man: $(man1) $(man7) -install-man: man - mkdir -p ../man/man1 - mkdir -p ../man/man7 - install -m 644 $(man1) ../man/man1 - install -m 644 $(man7) ../man/man7 +prefix?=$(HOME) +mandir?=$(prefix)/share/man +man1dir=$(mandir)/man1 +man5dir=$(mandir)/man5 +man7dir=$(mandir)/man7 -%.1: %.1.txt - $(pandoc) -s -t man < $< > $@+ && mv $@+ $@ -%.7: %.7.txt +INSTALL = install + +gem-man: man + $(INSTALL) -d -m 755 ../man + $(INSTALL) -m 644 $(man1) ../man + $(INSTALL) -m 644 $(man7) ../man + +install-man: man + $(INSTALL) -d -m 755 $(DESTDIR)$(man1dir) + $(INSTALL) -d -m 755 $(DESTDIR)$(man7dir) + $(INSTALL) -m 644 $(man1) $(DESTDIR)$(man1dir) + $(INSTALL) -m 644 $(man7) $(DESTDIR)$(man7dir) +%.1 %.7 : %.txt $(pandoc) -s -t man < $< > $@+ && mv $@+ $@ clean:: - $(RM) $(man1) + $(RM) $(man1) $(man7) |