mirror of
https://github.com/git/git
synced 2024-08-27 19:49:21 +00:00
[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>
This commit is contained in:
parent
9dce3c0617
commit
87a81c834b
|
@ -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 $@
|
||||
|
|
Loading…
Reference in a new issue