diff options
author | John Gourlay <john@weathervanefarm.net> | 2016-03-22 22:00:27 -0400 |
---|---|---|
committer | John Gourlay <john@weathervanefarm.net> | 2016-03-22 22:00:27 -0400 |
commit | 1f6e0e7a473c909c5577cba57d93e5a1c6f9f975 (patch) | |
tree | f9017e407e5a37767d640b6cc7fe1a21cd7b8d53 /scripts | |
parent | 589f549df3d23e7f4b91e42fead64c3e91b28905 (diff) |
Convert miscellaneous description elements to texidoc items.
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/musicxml2ly.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/musicxml2ly.py b/scripts/musicxml2ly.py index 0990ff124b..172f1a8d3e 100644 --- a/scripts/musicxml2ly.py +++ b/scripts/musicxml2ly.py @@ -229,7 +229,10 @@ def extract_score_information(tree): set_if_exists('encoder', ids.get_encoding_person()) set_if_exists('encodingdescription', ids.get_encoding_description()) set_if_exists('source', ids.get_source()) - set_if_exists('miscellaneous', ids.get_file_description()); + + # <miscellaneous><miscellaneous-field name="description"> ... becomes + # \header { texidoc = ... + set_if_exists('texidoc', ids.get_file_description()); # Finally, apply the required compatibility modes # Some applications created wrong MusicXML files, so we need to |