diff options
| author | Eric W. Biederman <ebiederm@xmission.com> | 2005-07-14 19:21:57 -0600 |
|---|---|---|
| committer | Linus Torvalds <torvalds@g5.osdl.org> | 2005-07-15 11:38:24 -0700 |
| commit | 87a81c834bf48f8cbf8778cae78ed553f3bbd32c (patch) | |
| tree | 882938d3f2622bfd3c7874a68f0fe20d6d9762d8 /Documentation | |
| parent | 9dce3c0617ce7065eec53e8e3bb68c571f7d6ee5 (diff) | |
| download | git-87a81c834bf48f8cbf8778cae78ed553f3bbd32c.tar.gz | |
[PATCH] Add doc and install-doc targets to the Makefile
This makes it straightforward for people wanting to build and install
the git man pages and the rest of the documentation to do so.
Signed-off-by: Eric W. Biederman <ebiederm@xmission.com>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 353fe7c986..137f28fe0d 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 $@ |