diff options
| author |  Vincent van Ravesteijn <vfr@lyx.org> | 2012-06-06 20:28:16 +0000 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-06-06 14:14:13 -0700 |
| commit | 1cc8af044cad37b5f7df85b177f6aa979aa3215a (patch) | |
| tree | 4298baf6dde05d6f441c1ffb847d486f9fbdf272 /builtin/gc.c | |
| parent | Git 1.7.11-rc0 (diff) | |
| download | tgif-1cc8af044cad37b5f7df85b177f6aa979aa3215a.tar.xz | |
help: use HTML as the default help format on Windows
When 'git help $cmd' is run without a format option (e.g. -w), the
'man' format is always used. On some platforms, however, manual page
viewers are not often available.
Introduce DEFAULT_HELP_FORMAT make variable in order to allow the
default format configurable at compile time, and set it to HTML when
compiling on Windows (but not Cygwin).
Helped-by: Jeff King <peff@peff.net>
Signed-off-by: Vincent van Ravesteijn <vfr@lyx.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/gc.c')
0 files changed, 0 insertions, 0 deletions