We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Replace the file extension.
path.replaceextension("path", "new_extension")
path is the file system path on which the extension should be replaced. new_extension is the replacement file extension.
path
new_extension
A new file system path with the replaced extension.
Premake 5.0 or later.