diff options
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 |