Silences "Not a dir" messages in make website

[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 33a31b7af5caad05e0836d387e0313fd0d17e99a..7dd41eeadec97e851683faaeb97b872a830291fd 100644 (file)
--- a/scripts/build/extract_texi_filenames.py
+++ b/scripts/build/extract_texi_filenames.py
@@ -66,6 +66,7 @@ include_path = ['.',]
 master_map_file = ''
 known_missing_files = []
 known_missing_files_file = ''
+docs_without_directories = ['changes', 'music-glossary']
 suppress_output = False
 initial_map = {}
 for opt in options_list:
@@ -77,7 +78,12 @@ for opt in options_list:
         if os.path.isdir (a):
             include_path.append (a)
         else:
-            print 'NOT A DIR from: ', os.getcwd (), a
+            path_list = a.split('/')
+            file_name = path_list[len(path_list)-1]
+            if not (file_name in docs_without_directories):
+                print a, 'is not a directory.'
+                print 'Please consider adding it to the list of '
+                print 'known missing files in extract_texi_filename.py.'
     elif o == '-o' or o == '--output':
         outdir = a
     elif o == '-s' or o == '--split':