From 94c986462e16f1d4ae4fed26f1f1ca9d3e9d7dd6 Mon Sep 17 00:00:00 2001
From: hanwen <hanwen>
Date: Sun, 8 Feb 2004 23:20:27 +0000
Subject: [PATCH] (Lilypond_snippet.notice_include): write .dep file.

---
 Documentation/user/refman.itely | 16 +++++++++++-----
 scripts/lilypond-book.py        |  6 +++---
 2 files changed, 14 insertions(+), 8 deletions(-)

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 ()))
-- 
2.39.5