summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPierre Habouzit <madcoder@debian.org>2007-12-13 11:20:01 +0100
committerJunio C Hamano <gitster@pobox.com>2007-12-22 10:26:08 -0800
commit2f7ee089dff6e9225dbfca2bdd23efe93e1c0740 (patch)
tree4d45e71bfc62b671add20cd863d119f55dc9df4a /Makefile
parentc43a24834a9babd3ddd9c27ccc81174c2cb36859 (diff)
downloadgit-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--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d6d3d65b1b..21c80e6bf7 100644
--- a/Makefile
+++ b/Makefile
@@ -1173,6 +1173,7 @@ check-docs::
documented,gitattributes | \
documented,gitignore | \
documented,gitmodules | \
+ documented,gitcli | \
documented,git-tools | \
sentinel,not,matching,is,ok ) continue ;; \
esac; \