Doc build: rename general -> web.

[lilypond.git] / python / auxiliar / buildlib.py

diff --git a/python/auxiliar/buildlib.py b/python/auxiliar/buildlib.py
index 7ab2269576697ef3ebbab51d978c920ff1af229f..411007e5cea30e7110372acb54f9a69e67264bb5 100644 (file)
--- a/python/auxiliar/buildlib.py
+++ b/python/auxiliar/buildlib.py
@@ -30,7 +30,7 @@ renames_map = {
 
 # FIXME: Hardcoded file names!?
 manuals_subdirectories_re = \
-    re.compile ('(usage|automated-engraving|changes|essay|extending|general|learning|notation)/')
+    re.compile ('(usage|automated-engraving|changes|essay|extending|web|learning|notation)/')
 
 def add_old_name (file_path):
     for new_path in renames_map: