Officially deprecate repo-config.

diff --git a/Makefile b/Makefile
index d6d3d65b1b9350b2c42344e9905a1d528b8a424c..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" || \
@@ -1173,6 +1173,7 @@ check-docs::
                documented,gitattributes | \
                documented,gitignore | \
                documented,gitmodules | \
+               documented,gitcli | \
                documented,git-tools | \
                sentinel,not,matching,is,ok ) continue ;; \
                esac; \
@@ -1186,3 +1187,4 @@ check-docs::
 #
 check-builtins::
        ./check-builtins.sh
+