diff options
author | Junio C Hamano <gitster@pobox.com> | 2008-01-17 22:52:40 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-01-17 22:52:40 -0800 |
commit | 5c66d0d4580196094e80c552f141525759a8e249 (patch) | |
tree | 4e5015744ad17f3e5b99f654aeebfac11769b6ce /Makefile | |
parent | c9ced051c3afa6f3da7f59b0dcb92787b2b5c702 (diff) | |
download | git-5c66d0d4580196094e80c552f141525759a8e249.tar.gz |
Officially deprecate repo-config.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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" || \ |