MusicXML: Also detect compressed MusicXML files from file extension if given

diff --git a/scripts/musicxml2ly.py b/scripts/musicxml2ly.py
index db942c33485ebe1da470b8dee25c4679a873f299..91b28ae2c1f9398486e228e9d820e8ed7007bd59 100644 (file)
--- a/scripts/musicxml2ly.py
+++ b/scripts/musicxml2ly.py
@@ -2567,6 +2567,9 @@ def main ():
         if not filename:
             filename = get_existing_filename_with_extension (basefilename, "mxl")
             options.compressed = True
+    if filename and filename.endswith ("mxl"):
+        options.compressed = True
+
     if filename and (filename == "-" or os.path.exists (filename)):
         voices = convert (filename, options)
     else: