From baf4f6c937622866b5653d41542969cfebd3e533 Mon Sep 17 00:00:00 2001 From: John Mandereau Date: Tue, 10 Jun 2008 18:06:26 +0200 Subject: [PATCH] Nit in xrefs checking script Don't warn about external xrefs that should be internal in generated documentation. --- buildscripts/check_texi_refs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/buildscripts/check_texi_refs.py b/buildscripts/check_texi_refs.py index c7f31fa5ad..94bd6ecb64 100755 --- a/buildscripts/check_texi_refs.py +++ b/buildscripts/check_texi_refs.py @@ -352,7 +352,7 @@ not followed by punctuation\n" % (file, line, name)) explicit_type = type new_name = name - if type != 'ref' and type == manual and not commented_out: + if type != 'ref' and type == manual and not commented_out and useful_fix: bad_ref = True stdout.write ("\n%s: %d: `%s': external %s x-ref should be internal\n" % (file, line, name, type)) -- 2.39.5