Officially deprecate repo-config.

diff --git a/Makefile b/Makefile
index 82e9cd626702fe1a1ac983ebbf13969b65017ff1..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" || \