X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scripts%2Fbuild%2Fextract_texi_filenames.py;h=33a31b7af5caad05e0836d387e0313fd0d17e99a;hb=0960f475b89981a7568e9fc629f93c983c0cf5d0;hp=fcb464d53d07b4ef7a99cfaccce2a0d1d1ea7cab;hpb=70a6151a4e3d02516a1afa7b252069d4e648ec01;p=lilypond.git

diff --git a/scripts/build/extract_texi_filenames.py b/scripts/build/extract_texi_filenames.py
index fcb464d53d..33a31b7af5 100644
--- a/scripts/build/extract_texi_filenames.py
+++ b/scripts/build/extract_texi_filenames.py
@@ -34,11 +34,12 @@ import re
 import os
 import getopt
 
-options_list, files = getopt.getopt (sys.argv[1:],'o:s:hI:m:',
+options_list, files = getopt.getopt (sys.argv[1:],'o:s:hI:m:k:q',
                                      ['output=', 'split=',
                                       'help', 'include=',
                                       'master-map-file=',
-                                      'known-missing-files='])
+                                      'known-missing-files=',
+                                      'quiet'])
 
 help_text = r"""Usage: %(program_name)s [OPTIONS]... TEXIFILE...
 Extract files names for texinfo (sub)sections from the texinfo files.
@@ -50,8 +51,9 @@ Options:
  -o, --output=DIRECTORY         write .xref-map files to DIRECTORY
  -s, --split=MODE               split manual according to MODE. Possible values
                                 are section and custom (default)
-     --known-missing-files      a filename which has a list of files known
+ -k, --known-missing-files      a filename which has a list of files known
                                 to be missing for this make
+ -q, --quiet                    suppress most messages
 """
 
 def help (text):
@@ -64,6 +66,7 @@ include_path = ['.',]
 master_map_file = ''
 known_missing_files = []
 known_missing_files_file = ''
+suppress_output = False
 initial_map = {}
 for opt in options_list:
     o = opt[0]
@@ -87,6 +90,8 @@ for opt in options_list:
             known_missing_files_file = a
         else:
             print 'Missing files list file not found: ', a
+    elif o == '-q' or o == '--quiet':
+        suppress_output = True
     else:
         raise Exception ('unknown option: ' + o)
 
@@ -210,7 +215,8 @@ def process_sections (filename, lang_suffix, page):
     sections = section_translation_re.findall (page)
     basename = os.path.splitext (os.path.basename (filename))[0]
     p = os.path.join (outdir, basename) + lang_suffix + '.xref-map'
-    print 'writing:', p
+    if not suppress_output:
+        print 'writing:', p
     f = open (p, 'w')
 
     this_title = ''
@@ -287,6 +293,7 @@ if master_map_file:
             initial_map[m.group (1)] = (m.group (1), m.group (2), m.group (3))
 
 for filename in files:
-    print "extract_texi_filenames.py: Processing %s" % filename
+    if not suppress_output:
+        print "extract_texi_filenames.py: Processing %s" % filename
     (lang_suffix, sections) = extract_sections (filename)
     process_sections (filename, lang_suffix, sections)