From f9d541f1b71a49e684b6261df945334a9ed1e1bb Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Wed, 13 Apr 2005 13:22:46 +0000 Subject: [PATCH] * 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. --- python/fontextract.py | 2 +- scripts/lilypond-book.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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) -- 2.39.5