From: John Mandereau Date: Mon, 19 May 2008 06:43:58 +0000 (+0200) Subject: Nitpick in xrefs checking X-Git-Tag: release/2.11.47-1~5^2~32 X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=e258a915cdc1f332242074f73cd4aa53c363ecb3;p=lilypond.git Nitpick in xrefs checking --- diff --git a/Documentation/fr/user/keyboards.itely b/Documentation/fr/user/keyboards.itely index 0f5da51411..5f4b6ea1f1 100644 --- 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 4e8f5eedb9..c7f31fa5ad 100755 --- 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))