X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=python%2Fbook_texinfo.py;h=939945164743be1c9c21ac2ce0639654f04a6b8a;hb=81b5ad4f11cdb296c69fcd2259effbc75a3c9054;hp=03f723754a43619cf055d82d9f89601ffeda3356;hpb=f9b28c30a3badc92aaacbb70c56e5114fc1d77ab;p=lilypond.git

diff --git a/python/book_texinfo.py b/python/book_texinfo.py
index 03f723754a..9399451647 100644
--- a/python/book_texinfo.py
+++ b/python/book_texinfo.py
@@ -58,6 +58,15 @@ TexInfo_snippet_res = {
             .*?
            @end\s+ignore))\s''',
 
+    'musicxml_file': r'''(?mx)
+          ^(?P<match>
+          @musicxmlfile\s*(
+          \[
+           \s*(?P<options>.*?)\s*
+          \])?\s*{
+           (?P<filename>\S+)
+          })''',
+
     'singleline_comment': r'''(?mx)
           ^.*
           (?P<match>
@@ -103,7 +112,7 @@ TexInfo_output = {
 @end ifinfo
 @html
 <p>
- <a href="%(base)s.ly">
+ <a href="%(base)s%(ext)s">
   <img align="middle"
        border="0"
        src="%(image)s"
@@ -115,7 +124,7 @@ TexInfo_output = {
 
     PRINTFILENAME: '''
 @html
-<a href="%(base)s.ly">
+<a href="%(base)s%(ext)s">
 @end html
 @file{%(filename)s}
 @html