def source_links_replace (m, source_val):
return 'href="' + os.path.join (source_val, m.group (1)) + '"'
-splitted_docs_re = re.compile ('(Documentation/out-www/(notation|\
-music-glossary|application|general|learning|snippets))/')
-lily_snippets_re = re.compile ('(href|src)="(../lily-.*?|.*?[.]png)"')
+# More hardcoding, yay!
+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)="([0-9a-f]{2}/lily-.*?)"')
pictures_re = re.compile ('src="(pictures/.*?)"')
docindex_link_re = re.compile (r'href="index.html"')
if not n:
s = header + s
- s = header_tag + '\n' + s
-
if doctype_re.search (s) == None:
- s = doctype + s
+ s = doctype + header_tag + '\n' + s
if css_re.search (s) == None:
depth = (prefix.count ('/') - 1) * '../'