WEB: Integration of new web site [general.texi].

[lilypond.git] / scripts / build / extract_texi_filenames.py

diff --git a/scripts/build/extract_texi_filenames.py b/scripts/build/extract_texi_filenames.py
index 36adb50ea215946209e7734f2fe8f080115d105a..f91bae398250d0e283baca5743138d56f0af47bd 100644 (file)
--- a/scripts/build/extract_texi_filenames.py
+++ b/scripts/build/extract_texi_filenames.py
@@ -60,6 +60,8 @@ for opt in options_list:
     if o == '-I' or o == '--include':
         if os.path.isdir (a):
             include_path.append (a)
+        else:
+            print 'NOT A DIR from: ', os.getcwd (), a
     elif o == '-o' or o == '--output':
         outdir = a
     elif o == '-s' or o == '--split':
@@ -93,7 +95,7 @@ def expand_includes (m, filename):
             filepath = os.path.join (directory, m.group(1))
             if os.path.exists (filepath):
                 return extract_sections (filepath)[1]
-        print "Unable to locate include file " + filepath
+        print 'No such file: ' + filepath
         return ''
 
 lang_re = re.compile (r'^@documentlanguage (.+)', re.M)