diff options
| author | Christian Hesse <mail@eworm.de> | 2018-10-07 09:30:36 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-10-10 11:21:47 +0900 |
| commit | 0f952b265990e76444f09e2d5ff816e9b001082f (patch) | |
| tree | 337f97a1fd27f77d0d907a006d9066ee3d513b01 /git-commit-script | |
| parent | 2efbb7f5218d5ca9d50cbcb86a365a08b2981d77 (diff) | |
subtree: add build targets 'man' and 'html'
We have targets 'install-man' and 'install-html', let's add build
targets as well.
Signed-off-by: Christian Hesse <mail@eworm.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-commit-script')
0 files changed, 0 insertions, 0 deletions