From: John Mandereau <john.mandereau@gmail.com>
Date: Tue, 10 Jun 2008 16:06:26 +0000 (+0200)
Subject: Nit in xrefs checking script
X-Git-Tag: release/2.11.49-1~1^2~9
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=baf4f6c937622866b5653d41542969cfebd3e533;p=lilypond.git

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 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))