From: Han-Wen Nienhuys Date: Wed, 13 Apr 2005 13:22:46 +0000 (+0000) Subject: * python/fontextract.py (write_extracted_fonts): new file. Extract X-Git-Tag: release/2.5.19~12 X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=f9d541f1b71a49e684b6261df945334a9ed1e1bb;p=lilypond.git * python/fontextract.py (write_extracted_fonts): new file. Extract font resources from a PS file. * scripts/lilypond-book.py (option_definitions): --psfonts option. (Compile_error.process_include): do_file returns chunks. * scripts/lilypond-book.py (write_if_updated): new function. --- diff --git a/python/fontextract.py b/python/fontextract.py index 12f4313b27..60d61c083d 100644 --- a/python/fontextract.py +++ b/python/fontextract.py @@ -78,7 +78,7 @@ def extract_fonts_from_file (extract_from_this, font_dict, filename): if extract_from_this: sys.stderr.write ("Failed to extract %s from %s\n" - % (string.join (extract_from_this, ', '), f)) + % (string.join (extract_from_this, ', '), filename)) def write_extracted_fonts (output_file_name, font_dict): output = open (output_file_name, 'w') diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py index 637b96ef66..0592d020ad 100644 --- a/scripts/lilypond-book.py +++ b/scripts/lilypond-book.py @@ -1542,6 +1542,7 @@ def main (): try: chunks = do_file (file) if psfonts_file: + fontextract.verbose = verbose_p snippet_chunks = filter (lambda x: is_derived_class (x.__class__, Lilypond_snippet), chunks)