]> git.donarmstrong.com Git - lilypond.git/blobdiff - scripts/build/extract_texi_filenames.py
WEB: verbosity nits.
[lilypond.git] / scripts / build / extract_texi_filenames.py
index e58b0ddc7b42392d01c3090f42affc74f1a99209..61f6014e160894808a8c1cde678b0e24b861abfa 100644 (file)
@@ -185,6 +185,7 @@ 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
     f = open (p, 'w')
 
     this_title = ''