lilypond-user
[
Top
][
All Lists
]
Advanced
[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Output file extension
From
:
Paolo Prete
Subject
:
Output file extension
Date
:
Mon, 23 Dec 2019 03:31:45 +0100
Hello,
is it possible, in some way (without an external script) to override the extension for the output file?
I need that output.svg is renamed as output.html
Thanks
reply via email to
[Prev in Thread]
Current Thread
[
Next in Thread
]
Output file extension
,
Paolo Prete
<=
Re: Output file extension
,
Malte Meyn
,
2019/12/23
Re: Output file extension
,
Malte Meyn
,
2019/12/23
Re: Output file extension
,
Paolo Prete
,
2019/12/23
Prev by Date:
Re: Swing/Shuffle rhythmMark
Next by Date:
Re: Put the property of a grob in the output-attributes list
Previous by thread:
Re convert-ly problems
Next by thread:
Re: Output file extension
Index(es):
Date
Thread