#!/usr/bin/python3 # TODO: # - fix internal xrefs (look for href=.html) # - fix duplicate IDs # - print stylesheet chapters = [] for line in open('index.html'): if not line.count('', 1)[0]) out = open('build/single.html', 'w', encoding="utf-8") out.write(open('util/single-header.html', encoding="utf-8").read()) out.write("'): include = False if include and not line.count('counter-reset'): line = "#{0} {1}".format(id, line) line = line.replace(",", ", #{0} ".format(id)) out.write(line) if line.count('\n") out.write(open('util/single-header2.html', encoding="utf-8").read()) for filename in chapters: include = False id = "chapter-" + filename.split(".", 1)[0] out.write("
\n".format(id)) for line in open(filename, encoding="utf-8"): if line.count('

'): include = True if line.count('

\n") out.write(open('util/single-footer.html', encoding="utf-8").read()) out.close()