diff options
author | Pierre Habouzit <madcoder@debian.org> | 2007-12-13 11:20:01 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-12-22 10:26:08 -0800 |
commit | 2f7ee089dff6e9225dbfca2bdd23efe93e1c0740 (patch) | |
tree | 4d45e71bfc62b671add20cd863d119f55dc9df4a /Makefile | |
parent | c43a24834a9babd3ddd9c27ccc81174c2cb36859 (diff) | |
download | git-2f7ee089dff6e9225dbfca2bdd23efe93e1c0740.tar.gz |
parse-options: Add a gitcli(5) man page.
This page should hold every information about the git ways to parse command
lines, and best practices to be used for scripting.
Signed-off-by: Pierre Habouzit <madcoder@debian.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1173,6 +1173,7 @@ check-docs:: documented,gitattributes | \ documented,gitignore | \ documented,gitmodules | \ + documented,gitcli | \ documented,git-tools | \ sentinel,not,matching,is,ok ) continue ;; \ esac; \ |