diff options
| author | Michael J Gruber <michaeljgruber+gmane@fastmail.fm> | 2008-09-10 10:19:34 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-09-10 15:41:51 -0700 |
| commit | 414851a42ecd6f104de517f628cfc09465ea7fa5 (patch) | |
| tree | c7c7ddee86b820a922692ecdb6141b21956b4d3a /git-gui/lib/diff.tcl | |
| parent | allow installation of man and html doc from the man and html branches (diff) | |
| download | git-414851a42ecd6f104de517f628cfc09465ea7fa5.tar.gz git-414851a42ecd6f104de517f628cfc09465ea7fa5.zip | |
separate build targets for man and html documentation
This introduces new build targets "man" and "html" which allow building
the documentation in the respective formats separately. This helps
people with a partial documentation build chain: html pages can be built
without xmlto.
This is documented in INSTALL now, together with corrections: Before,
instructions in INSTALL would build man+html but install man only. Now
the instructions build and install both, and new and pre-existing
targets are explained.
Note that build targets "doc" and "man" correspond to install targets
"install-doc install-html" and "install-doc" respectively. This
inconsistency is not changed, in order to keep everyone's build scripts
from breaking.
Signed-off-by: Michael J Gruber <michaeljgruber+gmane@fastmail.fm>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib/diff.tcl')
0 files changed, 0 insertions, 0 deletions