diff options
author | Eric Wong <normalperson@yhbt.net> | 2006-12-23 08:26:09 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-12-23 09:22:30 -0800 |
commit | 6538d1ef31fc2989e4dd0422a31a170a7d560b02 (patch) | |
tree | 99d3c2f8b77d9adff8619928f4b7226b1c1fa7a4 /Makefile | |
parent | 6be935115b4a3bfa9062875a569d4a018ac372e2 (diff) | |
download | git-6538d1ef31fc2989e4dd0422a31a170a7d560b02.tar.gz git-6538d1ef31fc2989e4dd0422a31a170a7d560b02.tar.xz |
Makefile: add quick-install-doc for installing pre-built manpages
This adds and uses the install-doc-quick.sh file to
Documentation/, which is usable for people who track either the
'html' or 'man' heads in Junio's repository (prefixed with
'origin/' if cloned locally). You may override this by
specifying DOC_REF in the make environment or in config.mak.
GZ may also be set in the environment (or config.mak) if you
wish to gzip the documentation after installing it.
Signed-off-by: Eric Wong <normalperson@yhbt.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -824,6 +824,8 @@ install: all install-doc: $(MAKE) -C Documentation install +quick-install-doc: + $(MAKE) -C Documentation quick-install |