From: John Mandereau <john.mandereau@gmail.com>
Date: Tue, 2 Feb 2010 22:33:24 +0000 (+0100)
Subject: Docs-fr: fix PDF docs build
X-Git-Tag: release/2.13.12-1~3^2~2
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=a77737811657427f9037db99ebaf091ae66d6fc9;p=lilypond.git

Docs-fr: fix PDF docs build
---

diff --git a/Documentation/fr/macros.itexi b/Documentation/fr/macros.itexi
index 20fb2920b4..116a0ffe44 100644
--- a/Documentation/fr/macros.itexi
+++ b/Documentation/fr/macros.itexi
@@ -87,7 +87,7 @@ translations should be in macros.itexi.
 @macro docMain
 @cartouche
 Pour connaître la place qu'occupe ce manuel dans la
-documentation, consultez @rweb{Manuels}.
+documentation, consultez Manuels.
 
 Si vous ne disposez pas de certains manuels, la documentation complète
 se trouve sur @w{@uref{http://@/www@/.lilypond@/.org/}}.
diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index 4e02289031..d52e09ad2f 100644
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -1202,20 +1202,12 @@ left-margin-default right-margin-default)"
         override[LINE_WIDTH] = texinfo_line_widths['@smallbook']
         override.update (default_ly_options)
 
-        def not_processing_independent (opt):
-            for name in PROCESSING_INDEPENDENT_OPTIONS:
-                if opt.startswith (name):
-                    return False
-
-            return True
-
         option_list = []
         for option in self.get_option_list ():
-            option_list.append (option)
-        warning ("option_string before: %s" % option_list)
-        option_list = filter (not_processing_independent, option_list)
+            if not any (option.startswith (name)
+                        for name in PROCESSING_INDEPENDENT_OPTIONS):
+                option_list.append (option)
         option_string = ','.join (option_list)
-        warning ("option_string: %s" % option_string)
         compose_dict = {}
         compose_types = [NOTES, PREAMBLE, LAYOUT, PAPER]
         for a in compose_types:
@@ -1292,8 +1284,10 @@ left-margin-default right-margin-default)"
             hash = md5 (self.relevant_contents (self.ly ()))
             for option in self.get_option_list ():
                 for name in PROCESSING_INDEPENDENT_OPTIONS:
-                    if not option.startswith (name):
-                        hash.update (option)
+                    if option.startswith (name):
+                        break
+                else:
+                    hash.update (option)
 
             ## let's not create too long names.
             self.checksum = hash.hexdigest ()[:10]