Nitpick in xrefs checking

diff --git a/Documentation/fr/user/keyboards.itely b/Documentation/fr/user/keyboards.itely
index 0f5da51411886969a2dc07b893fc47c389c4b4c9..5f4b6ea1f12035f394c772e1a4fc571623d9bf87 100644 (file)
--- a/Documentation/fr/user/keyboards.itely
+++ b/Documentation/fr/user/keyboards.itely
@@ -146,7 +146,7 @@ place les silences en fonction des notes qui les suivront. Ainsi :
 
 @seealso
 
-Dans ce même manuel : @ruser{Changing staff manually}.
+Dans ce même manuel : @ref{Changing staff manually}.
 
 Référence du programme : @rinternals{AutoChangeMusic}.
 

diff --git a/buildscripts/check_texi_refs.py b/buildscripts/check_texi_refs.py
index 4e8f5eedb9267542e3ef3f6d4c368344d9ed9008..c7f31fa5ad2c1cfe39a1e7e44a8816ba2d3bdde3 100755 (executable)
--- a/buildscripts/check_texi_refs.py
+++ b/buildscripts/check_texi_refs.py
@@ -331,6 +331,7 @@ in the list)\n")
 def check_ref (manual, file, m):
     global fixes_count, bad_refs_count
     bad_ref = False
+    fixed = True
     type = m.group (1)
     original_name = m.group (2)
     name = whitespace_re.sub (' ', original_name). strip ()
@@ -461,7 +462,7 @@ node name and manual for this x-ref by index number or beginning of name:\n", \
     bad_refs_count += int (bad_ref)
     if bad_ref and not useful_fix:
         stdout.write ("*** Warning: this file is automatically generated, \
-please fix the code source manually.\n")
+please fix the code source instead of generated documentation.\n")
 
     # compute returned string
     if new_name == name:
@@ -488,5 +489,5 @@ except InteractionError, instance:
     log.write ("Operation refused by user: %s\nExiting.\n" % instance)
     sys.exit (3)
 
-log.write ("Done, %d bad x-refs found, fixed %d.\n" %
+log.write ("Done: %d bad x-refs found, fixed %d.\n" %
            (bad_refs_count, fixes_count))