From: John Mandereau <john.mandereau@gmail.com>
Date: Wed, 25 Nov 2009 00:45:50 +0000 (+0100)
Subject: Docs xref checking: append rather than prepend Documentation/ to search path
X-Git-Tag: release/2.13.9-1~76
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=79d8f8b56bedb175206ded3a25ce14ea4e331454;p=lilypond.git

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 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