patch texinfo.tex to leave single quotes in

[lilypond.git] / scripts / lilypond-book.py

diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index 5426c63374313d5533ceaa5595c832edc3749593..74db6adb28d4b9ac83958c0e9934f043ee28ab27 100644 (file)
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -607,8 +607,8 @@ output = {
 ''',
 
                VERBATIM: r'''@exampleindent 0
-@example
-%(verb)s@end example
+@verbatim
+%(verb)s@end verbatim
 ''',
        },
 }
@@ -733,11 +733,6 @@ def verbatim_html (s):
                       re.sub ('<', '&lt;',
                               re.sub ('&', '&amp;', s)))
 
-def verbatim_texinfo (s):
-       return re.sub ('{', '@{',
-                      re.sub ('}', '@}',
-                              re.sub ('@', '@@', s)))
-
 def split_options (option_string):
        if option_string:
                if global_options.format == HTML:
@@ -1191,7 +1186,7 @@ class Lilypond_snippet (Snippet):
                                str += '@include %(texidoc)s\n\n' % vars ()
 
                if VERBATIM in self.option_dict:
-                       verb = verbatim_texinfo (self.substring ('code'))
+                       verb = self.substring ('code')
                        str += (output[TEXINFO][VERBATIM] % vars ())
                        if not QUOTE in self.option_dict:
                                str = output[TEXINFO][NOQUOTE] % vars ()