Docs xref checking: append rather than prepend Documentation/ to search path

This makes xref checking effective again with translated docs.

diff --git a/scripts/auxiliar/check_texi_refs.py b/scripts/auxiliar/check_texi_refs.py
index cf046dddf6a6a0bc7f2bae20a9cb823919d8a4af..45f1e16993581c02fc6fd5509ceca22ac6730ac5 100755 (executable)
--- 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