Nit in xrefs checking script

Don't warn about external xrefs that should be internal in generated
documentation.

diff --git a/buildscripts/check_texi_refs.py b/buildscripts/check_texi_refs.py
index c7f31fa5ad2c1cfe39a1e7e44a8816ba2d3bdde3..94bd6ecb642476c58ed188cbbd26e624f3a88977 100755 (executable)
--- 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))