From 79d8f8b56bedb175206ded3a25ce14ea4e331454 Mon Sep 17 00:00:00 2001 From: John Mandereau Date: Wed, 25 Nov 2009 01:45:50 +0100 Subject: [PATCH] Docs xref checking: append rather than prepend Documentation/ to search path This makes xref checking effective again with translated docs. --- scripts/auxiliar/check_texi_refs.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/auxiliar/check_texi_refs.py b/scripts/auxiliar/check_texi_refs.py index cf046dddf6..45f1e16993 100755 --- a/scripts/auxiliar/check_texi_refs.py +++ b/scripts/auxiliar/check_texi_refs.py @@ -56,9 +56,10 @@ opt_parser.add_option ('-p', '--check-punctuation', opt_parser.add_option ("-I", '--include', help="add DIR to include path", metavar="DIR", action='append', dest='include_path', - default=[os.path.abspath (os.getcwd ())]) + default=[]) (options, files) = opt_parser.parse_args () +options.include_path.append (os.path.abspath (os.getcwd ())) class InteractionError (Exception): pass -- 2.39.2