summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2008-01-17 22:52:40 -0800
committerJunio C Hamano <gitster@pobox.com>2008-01-17 22:52:40 -0800
commit5c66d0d4580196094e80c552f141525759a8e249 (patch)
tree4e5015744ad17f3e5b99f654aeebfac11769b6ce /Makefile
parentc9ced051c3afa6f3da7f59b0dcb92787b2b5c702 (diff)
downloadgit-5c66d0d4580196094e80c552f141525759a8e249.tar.gz
Officially deprecate repo-config.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 82e9cd6267..a566bd9aed 100644
--- a/Makefile
+++ b/Makefile
@@ -1145,7 +1145,7 @@ check-docs::
case "$$v" in \
git-merge-octopus | git-merge-ours | git-merge-recursive | \
git-merge-resolve | git-merge-stupid | git-merge-subtree | \
- git-fsck-objects | git-init-db | git-repo-config | \
+ git-fsck-objects | git-init-db | \
git-?*--?* ) continue ;; \
esac ; \
test -f "Documentation/$$v.txt" || \