-rwxr-xr-x 2032 libmceliece-20240726/autogen/html raw
#!/usr/bin/env python3
import os
import datetime
import markdown
def load(fn):
with open(fn) as f:
return f.read()
style = load('autogen/html-style')
sitetitle = load('autogen/html-title').strip()
files = []
os.makedirs('doc/html',exist_ok=True)
with open('autogen/html-files') as f:
for line in f:
line = line.strip()
line = line.split(':')
if len(line) != 3: continue
files += [line]
class superscripts(markdown.extensions.Extension):
def extendMarkdown(self,md):
md.inlinePatterns.register(markdown.inlinepatterns.SimpleTagInlineProcessor(r'()\^(.*?)\^','sup'),'sup',175)
for md,html,pagetitle in files:
fnmd = 'doc/%s.md' % md
fnhtml = 'doc/html/%s.html' % html
output = ''
x = load(fnmd)
x = markdown.markdown(x,extensions=['markdown.extensions.extra','markdown.extensions.tables',superscripts()])
mtime = datetime.datetime.utcfromtimestamp(os.path.getmtime(fnmd)).strftime('%Y.%m.%d')
output += '<html>\n<head>\n'
output += style
output += '<title>\n'
output += sitetitle
output += ': '
output += pagetitle
output += '</title>\n'
output += '</head>\n'
output += '<body>\n'
output += '<div class=headline>\n'
output += sitetitle
output += '</div>\n'
output += '<div class=nav>\n'
for submd,subhtml,subpagetitle in files:
if subhtml == html:
output += '<div class="navt here">'
output += pagetitle+'\n'
else:
output += '<div class="navt away">'
output += '<a href=%s.html>%s</a>\n' % (subhtml,subpagetitle)
output += '</div>'
output += '</div>\n'
output += '<div class=main>\n'
output += x
output += '<hr><font size=1><b>Version:</b>\n'
output += 'This is version %s of the "%s" web page.\n' % (mtime,pagetitle)
output += '</font>\n'
output += '</div>\n'
output += '</body>\n'
output += '</html>\n'
if not os.path.exists(fnhtml) or output != load(fnhtml):
with open(fnhtml+'.new','w') as f:
f.write(output)
os.chmod(fnhtml+'.new',0o444)
os.rename(fnhtml+'.new',fnhtml)