diff options
| author |  Michael J Gruber <michaeljgruber+gmane@fastmail.fm> | 2008-09-09 22:44:17 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-09-10 15:40:13 -0700 |
| commit | 6fe570de05513bc13ac1e00ab3508ca525b41135 (patch) | |
| tree | a58e7074db8d9fbb4f6dc9d82beced3e0a495e62 /pack-revindex.h | |
| parent | Fix git-diff-tree --stdin (diff) | |
| download | tgif-6fe570de05513bc13ac1e00ab3508ca525b41135.tar.xz | |
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 'pack-revindex.h')
0 files changed, 0 insertions, 0 deletions