diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 353fe7c98..137f28fe0 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -6,6 +6,14 @@ DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN7_TXT)) DOC_MAN1=$(patsubst %.txt,%.1,$(MAN1_TXT)) DOC_MAN7=$(patsubst %.txt,%.7,$(MAN7_TXT)) +prefix=$(HOME) +bin=$(prefix)/bin +mandir=$(prefix)/man +man1=$(mandir)/man1 +man7=$(mandir)/man7 + +INSTALL=install + # # Please note that there is a minor bug in asciidoc. # The version after 6.0.3 _will_ include the patch found here: @@ -24,6 +32,11 @@ man: man1 man7 man1: $(DOC_MAN1) man7: $(DOC_MAN7) +install: + $(INSTALL) -m755 -d $(dest)/$(man1) $(dest)/$(man7) + $(INSTALL) $(DOC_MAN1) $(dest)/$(man1) + $(INSTALL) $(DOC_MAN7) $(dest)/$(man7) + # 'include' dependencies git-diff-%.txt: diff-format.txt diff-options.txt touch $@ |