check-docs: allow command-list.txt to contain excluded commands

diff --git a/Makefile b/Makefile
index e7bcfcaae93c8e0a179c766bec605e21ca46439c..d83104d884961e3ec2558c7028688cda284d1f84 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3089,7 +3089,7 @@ check-docs::
                    -e 's/\.txt//'; \
        ) | while read how cmd; \
        do \
-               case " $(patsubst %$X,%,$(ALL_COMMANDS)) " in \
+               case " $(patsubst %$X,%,$(ALL_COMMANDS) $(EXCLUDED_PROGRAMS)) " in \
                *" $$cmd "*)    ;; \
                *) echo "removed but $$how: $$cmd" ;; \
                esac; \