From b18bf2d72abcda849d6eb60c888b3809804b6bdc Mon Sep 17 00:00:00 2001 From: Graham Percival Date: Mon, 15 Mar 2010 13:45:04 +0000 Subject: [PATCH] Doc build: add extending to dir-copying. --- python/auxiliar/postprocess_html.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/python/auxiliar/postprocess_html.py b/python/auxiliar/postprocess_html.py index b268db1d25..f327e4e393 100644 --- a/python/auxiliar/postprocess_html.py +++ b/python/auxiliar/postprocess_html.py @@ -102,7 +102,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/(automated-engraving|essay|notation|changes|music-glossary|usage|web|learning|snippets))/') +splitted_docs_re = re.compile('(Documentation/out-www/(automated-engraving|essay|notation|changes|extending|music-glossary|usage|web|learning|snippets))/') lily_snippets_re = re.compile ('(href|src)="([0-9a-f]{2}/lily-.*?)"') pictures_re = re.compile ('src="(pictures/.*?)"') -- 2.39.5