diff options
| author | Jon Seymour <jon.seymour@gmail.com> | 2011-05-01 10:16:25 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-05-02 06:50:04 +0200 |
| commit | f2dd8c3799ddbd7df63a89a9043916f8545a70a3 (patch) | |
| tree | 99ba7774cc8c60bef70f107c731ee02cbd0643ce /patch-ids.c | |
| parent | Git 1.7.5 (diff) | |
| download | git-f2dd8c3799ddbd7df63a89a9043916f8545a70a3.tar.xz git-f2dd8c3799ddbd7df63a89a9043916f8545a70a3.zip | |
git: add --info-path and --man-path options
Similar to the way the --html-path option lets UI programs learn where git
has its HTML documentation pages, expose the other two paths used to store
the documentation pages of these two types.
Signed-off-by: Jon Seymour <jon.seymour@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'patch-ids.c')
0 files changed, 0 insertions, 0 deletions