diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2009-08-13 00:32:36 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2009-08-13 01:30:27 +0200 |
| commit | 3fcb1f38d96cd2b5d49deebcde8b476ff96430e4 (patch) | |
| tree | de750c4e73199299a74fda1e2c7eca1b8f963e83 /python/auxiliar | |
| parent | 480e203052571809f1a11ee7c7728f08aa042fe9 (diff) | |
Doc: automated-engraving: build fixes and images.
Diffstat (limited to 'python/auxiliar')
| -rw-r--r-- | python/auxiliar/buildlib.py | 2 | ||||
| -rw-r--r-- | python/auxiliar/postprocess_html.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/python/auxiliar/buildlib.py b/python/auxiliar/buildlib.py index b0bf9cfcc5..783c808642 100644 --- 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 ('(application|essay|general|learning|notation)/') + re.compile ('(application|automated-engraving|essay|general|learning|notation)/') def add_old_name (file_path): for new_path in renames_map: diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py index 68b0536a77..a8f6c78ae1 100644 --- a/python/auxiliar/postprocess_html.py +++ b/python/auxiliar/postprocess_html.py @@ -100,7 +100,7 @@ def source_links_replace (m, source_val): return 'href="' + os.path.join (source_val, m.group (1)) + '"' # More hardcoding, yay! -splitted_docs_re = re.compile ('(Documentation/out-www/(essay|notation|music-glossary|application|general|learning|snippets))/') +splitted_docs_re = re.compile ('(Documentation/out-www/(automated-engraving|essay|notation|music-glossary|application|general|learning|snippets))/') lily_snippets_re = re.compile ('(href|src)="(../lily-.*?|.*?[.]png)"') pictures_re = re.compile ('src="(pictures/.*?)"') |