From: John Mandereau <john.mandereau@gmail.com>
Date: Mon, 29 Sep 2008 14:29:44 +0000 (+0200)
Subject: Docs xrefs checking: ignore refs that should be internal @ref
X-Git-Tag: release/2.11.61-1~31
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=0ac72ff88a4c8c1c1d790e08206b709e7ab2e3ea;hp=e5882320557a1ac8ed32e3cbbafba542fffe3657;p=lilypond.git

Docs xrefs checking: ignore refs that should be internal @ref

Some docs which contains @ruser instances are used in both the
Internals Reference and the Notation Reference, so they cannot be
replaced with @ref.
---

diff --git a/buildscripts/check_texi_refs.py b/buildscripts/check_texi_refs.py
index 4508baa560..dff7e334f1 100755
--- a/buildscripts/check_texi_refs.py
+++ b/buildscripts/check_texi_refs.py
@@ -361,9 +361,9 @@ not followed by punctuation\n" % (file, line, name))
     new_name = name
 
     if type != 'ref' and type == manual and not commented_out:
-        fixed = False
-        bad_ref = True
         if useful_fix:
+            fixed = False
+            bad_ref = True
             stdout.write ("\n%s: %d: `%s': external %s x-ref should be internal\n"
                           % (file, line, name, type))
             if options.auto_fix or yes_prompt ("Fix this?"):