diff options
Diffstat (limited to 'python/auxiliar/postprocess_html.py')
| -rw-r--r-- | python/auxiliar/postprocess_html.py | 2 |
1 files changed, 1 insertions, 1 deletions
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/.*?)"') |