From 0ac72ff88a4c8c1c1d790e08206b709e7ab2e3ea Mon Sep 17 00:00:00 2001 From: John Mandereau Date: Mon, 29 Sep 2008 16:29:44 +0200 Subject: [PATCH] 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. --- buildscripts/check_texi_refs.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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?"): -- 2.39.2