diff options
author | Han-Wen Nienhuys <hanwen@xs4all.nl> | 2005-03-27 12:44:09 +0000 |
---|---|---|
committer | Han-Wen Nienhuys <hanwen@xs4all.nl> | 2005-03-27 12:44:09 +0000 |
commit | dfea2356b8eb144c3ccf775528b0b5e3cf5a9b71 (patch) | |
tree | 56d56d99b3ac2d663f8ae7c2a7b55f5d310fb3ab /scripts | |
parent | c0219c12ccdf2db07c41d16a202fceb1c3726567 (diff) |
(main): add png for HTML too, guess
only if necessary. Thanks to John Williams.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/lilypond-book.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py index 58ad1d3068..6f26c1ff84 100644 --- a/scripts/lilypond-book.py +++ b/scripts/lilypond-book.py @@ -1447,10 +1447,11 @@ def main (): file = files[0] global process_cmd, format - format = guess_format (files[0]) + if not format: + format = guess_format (files[0]) formats = 'ps' - if format == TEXINFO: + if format == TEXINFO or format == HTML: formats += ',png' if process_cmd == '': process_cmd = lilypond_binary + ' --formats=%s --backend eps ' % formats |