check-docs: mention gitweb specially

Like gitk, gitweb is not listed in the usual Makefile
variables and must be fed to check-docs specially. Otherwise
check-docs thinks it is documented but removed.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Makefile b/Makefile
index 15d13197d46b71f3720ec891210c35e6b2b2e8ec..5e773cd4312a35746eb1d68c49fe574aff2bf88f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -2805,7 +2805,7 @@ endif
 ### Check documentation
 #
 check-docs::
 ### Check documentation
 #
 check-docs::

-       @(for v in $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) git gitk; \
+       @(for v in $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) git gitk gitweb; \

        do \
                case "$$v" in \
                git-merge-octopus | git-merge-ours | git-merge-recursive | \
        do \
                case "$$v" in \
                git-merge-octopus | git-merge-ours | git-merge-recursive | \


@@ -2855,7 +2855,7 @@ check-docs::
                documented,gitworkflows | \
                sentinel,not,matching,is,ok ) continue ;; \
                esac; \
                documented,gitworkflows | \
                sentinel,not,matching,is,ok ) continue ;; \
                esac; \

-               case " $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) git gitk " in \
+               case " $(ALL_PROGRAMS) $(SCRIPT_LIB) $(BUILT_INS) git gitk gitweb " in \

                *" $$cmd "*)    ;; \
                *) echo "removed but $$how: $$cmd" ;; \
                esac; \
                *" $$cmd "*)    ;; \
                *) echo "removed but $$how: $$cmd" ;; \
                esac; \