(Substring.__init__): new class.

(Snippet.output_texinfo): add texidoc option.
(Include_snippet.replacement_text): new class.
(Lilypond_snippet.__init__): new class
(Lilypond_snippet.get_hash): bugfix: use full body for hashing.

diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index 0d5e7dd4234d860015291b4711be6ad259bd759b..85c39d2ad3f579ab8149952aee9229a4dabade7a 100644 (file)
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -788,7 +788,7 @@ def do_file (input_filename):
        output_file.writelines ([s.replacement_text () for s in chunks])
 
        ## UGH. how do you do dynamic_cast/typecheck in Python?
-#      map (process_include, filter (lambda x: x.__class__ == Include_snippet, chunks))
+       map (process_include, filter (lambda x: x.__class__ == Include_snippet, chunks))
 
 def do_options ():
        global format, output_name