[PATCH] Add doc and install-doc targets to the Makefile
- From
Eric W. Biederman <ebiederm@xmission.com>
- Date
- Jul 15, 2005, 01:21 UTC
- Message-ID
- <m1u0iwx3re.fsf@ebiederm.dsl.xmission.com>
This makes it straight forward 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> ---
Documentation/Makefile | 13 +++++++++++++ Makefile | 6 ++++++ 2 files changed, 19 insertions(+), 0 deletions(-)
81c744189071d241dbb43b55b8694365a769e08d
diff --git a/Documentation/Makefile b/Documentation/Makefile --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -6,6 +6,14 @@ DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_ 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 $@ diff --git a/Makefile b/Makefile --- a/Makefile +++ b/Makefile @@ -191,6 +191,12 @@ rpm: dist test: all $(MAKE) -C t/ all +doc: + $(MAKE) -C Documentation all + +install-doc: + $(MAKE) -C Documentation install + clean: rm -f *.o mozilla-sha1/*.o ppc/*.o $(PROG) $(LIB_FILE) rm -f git-core-*.tar.gz git-core.spec