Merge remote-tracking branch 'origin/maint'

[bison.git] / cfg.mk

diff --git a/cfg.mk b/cfg.mk
index 392d2112bebbbff8e4df7dde320cc862dfd52708..6088b64a58cee08fa18576116da39cd162e3f476 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -66,5 +66,5 @@ $(call exclude,                                                               \
   prohibit_strcmp=^doc/bison\.texinfo$$                                        \
   require_config_h_first=^(lib/yyerror|data/(glr|yacc))\.c$$           \
   space_tab=^tests/(input|c\+\+)\.at$$                                 \
   prohibit_strcmp=^doc/bison\.texinfo$$                                        \
   require_config_h_first=^(lib/yyerror|data/(glr|yacc))\.c$$           \
   space_tab=^tests/(input|c\+\+)\.at$$                                 \

-  unmarked_diagnostics=^djgpp/                                         \
+  unmarked_diagnostics=^(djgpp/|doc/bison.texi$$)                      \

 )
 )