Require log file if -dseparate-log-files is specified.

diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index 649d660da5915409c2150b252d52674e2bc12085..63f075a1492db94649491416c7884e019eae86f2 100644 (file)
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -1207,6 +1207,8 @@ class LilypondSnippet (Snippet):
 
         if 'ddump-profile' in global_options.process_cmd:
             require_file (base + '.profile')
+        if 'dseparate-log-file' in global_options.process_cmd:
+            require_file (base + '.log')
 
         map (consider_file, [base + '.tex',
                              base + '.eps',