]> git.donarmstrong.com Git - lilypond.git/blobdiff - python/auxiliar/postprocess_html.py
Doc build: rename general -> web.
[lilypond.git] / python / auxiliar / postprocess_html.py
index 055bb5f2b9abf9ce71528ad5b6fd386e0bf0f244..c649b873453b0a812361480fdd90dc8d5745fa6b 100644 (file)
@@ -19,7 +19,7 @@ non_copied_pages = ['Documentation/out-www/notation-big-page',
                     'Documentation/out-www/usage-big-page',
                     'Documentation/out-www/music-glossary-big-page',
                     'Documentation/out-www/contributor',
-                    'Documentation/out-www/changes',
+                    'Documentation/out-www/changes-big-page',
                     'Documentation/out-www/snippets',
                     'out-www/examples',
                     'Documentation/topdocs',
@@ -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/(automated-engraving|essay|notation|music-glossary|usage|general|learning|snippets))/')
+splitted_docs_re = re.compile('(Documentation/out-www/(automated-engraving|essay|notation|changes|music-glossary|usage|web|learning|snippets))/')
 lily_snippets_re = re.compile ('(href|src)="([0-9a-f]{2}/lily-.*?)"')
 pictures_re = re.compile ('src="(pictures/.*?)"')
 
@@ -346,7 +346,7 @@ def process_html_files (package_name = '',
 
             ### add footer
             if footer_tag_re.search (s) == None:
-                if 'general' in file_name:
+                if 'web' in file_name:
                     s = add_footer (s, footer_tag + web_footer)
                 else:
                     s = add_footer (s, footer_tag + footer)