config.txt: move instaweb.* to a separate file

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 95f6a321f239cb2c43e9a556f5ef4219bc35ef0a..48d261dc2ce29aca61112ee944522a20043d6827 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -285,7 +285,7 @@ docdep_prereqs = \
        mergetools-list.made $(mergetools_txt) \
        cmd-list.made $(cmds_txt)
 
-doc.dep : $(docdep_prereqs) $(wildcard *.txt) build-docdep.perl
+doc.dep : $(docdep_prereqs) $(wildcard *.txt) $(wildcard config/*.txt) build-docdep.perl
        $(QUIET_GEN)$(RM) $@+ $@ && \
        $(PERL_PATH) ./build-docdep.perl >$@+ $(QUIET_STDERR) && \
        mv $@+ $@