From: Han-Wen Nienhuys <hanwen@xs4all.nl>
Date: Sun, 8 Feb 2004 23:20:27 +0000 (+0000)
Subject: (Lilypond_snippet.notice_include):
X-Git-Tag: release/2.1.23~64
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=ef37fa85ef3e181d2dcde42b32b2d068ae8f4292;p=lilypond.git

(Lilypond_snippet.notice_include):
write .dep file.
---

diff --git a/Documentation/user/refman.itely b/Documentation/user/refman.itely
index 2aa79478be..5f7b04d4bc 100644
--- a/Documentation/user/refman.itely
+++ b/Documentation/user/refman.itely
@@ -7533,7 +7533,6 @@ treatment of the difference between translation and layout.
 * Applyoutput::                 
 * Font selection::              
 * Text markup::                 
-* Common text markup commands::  
 @end menu
 
 
@@ -8061,9 +8060,10 @@ to more words:
 
 @noindent
 For clarity, you can also do this for single arguments, e.g.
-@example
-  \markup @{ is \italic @{ anyone @} home @}
-@end example
+
+@verbatim
+  \markup { is \italic { anyone } home }
+@end verbatim
 
 @cindex font size, texts
 
@@ -8071,8 +8071,14 @@ For clarity, you can also do this for single arguments, e.g.
 
 
 
+@menu
+* Common text markup commands::  
+* Markup construction in scheme::  
+* Markup command definition::   
+@end menu
+
 @node Common text markup commands
-@subsection Common text markup commands
+@subsubsection Common text markup commands
 
 
 The following size commands set absolute sizes:
diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index fe1157ccbd..31f81f9b30 100644
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -526,11 +526,11 @@ class Lilypond_snippet (Snippet):
 			 + output[LATEX][AFTER])
 		str += ('\n@end tex\n')
 		
-		str += ('\n@html\n')
+		str += ('\n\n@html\n')
 		str += (output[HTML][BEFORE] 
 			+ (output[HTML][OUTPUT] % vars ())
 			+ output[HTML][AFTER])
-		str += ('\n@end html\n')
+		str += ('\n@end html\n\n') # need par after picture.
 
 		if  VERBATIM in self.options:
 			verb = verbatim_texinfo (self.substring ('code'))
@@ -796,7 +796,7 @@ def do_file (input_filename):
 	output_file.writelines ([s.replacement_text () for s in chunks])
 
 
-	included_files = []
+	included_files = [input_filename]
 	def notice_include (target, snip):
 		included_files.append (snip.match.group ('filename'))
 		included_files.append (os.path.join (output_name, snip.processed_filename ()))