diff options
| author | Michael J Gruber <michaeljgruber+gmane@fastmail.fm> | 2008-09-10 00:44:17 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-09-11 02:40:13 +0400 |
| commit | 6fe570de05513bc13ac1e00ab3508ca525b41135 (patch) | |
| tree | a58e7074db8d9fbb4f6dc9d82beced3e0a495e62 /Makefile | |
| parent | 628b06d7d75588bbe37dfb7ecac19d2694884d66 (diff) | |
allow installation of man and html doc from the man and html branches
This patch introduces a make target "quick-install-html" which installs
the html documentation from the branch origin/html, without the need for
asciidoc/xmlto. This is analogous to the existing "quick-install-doc"
target for the man pages.
We advertise these targets in the INSTALL file now.
Signed-off-by: Michael J Gruber <michaeljgruber+gmane@fastmail.fm>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1403,6 +1403,9 @@ install-info: quick-install-doc: $(MAKE) -C Documentation quick-install +quick-install-html: + $(MAKE) -C Documentation quick-install-html + ### Maintainer's dist rules |