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]