Officially deprecate repo-config.

diff --git a/Makefile b/Makefile
index 21c80e6bf73163b9770cba5331cd48172fa6d43e..a566bd9aedaa6aa7fdc26cc94a77e07e4e220973 100644 (file)
--- 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" || \
@@ -1187,3 +1187,4 @@ check-docs::
 #
 check-builtins::
        ./check-builtins.sh
+