1
0
forked from Mirror/wren
Files
wren/util/generate_docs.py

155 lines
3.9 KiB
Python
Raw Normal View History

#!/usr/bin/env python
2013-11-21 21:38:36 -08:00
import codecs
2013-11-21 21:38:36 -08:00
import glob
2015-01-18 15:36:36 -08:00
import fnmatch
2013-11-21 21:38:36 -08:00
import os
import shutil
2014-04-05 15:39:02 -07:00
import subprocess
2013-12-04 07:46:41 -08:00
import sys
import time
import re
2013-11-21 21:38:36 -08:00
from datetime import datetime
2015-01-18 15:36:36 -08:00
import markdown
# Match a "## " style header. We require a space after "#" to avoid
# accidentally matching "#include" in code samples.
MARKDOWN_HEADER = re.compile(r'#+ ')
# Clean up a header to be a valid URL.
FORMAT_ANCHOR = re.compile(r'\.|\?|!|:|/|\*')
with codecs.open("doc/site/template.html", encoding="utf-8") as f:
2015-01-18 15:36:36 -08:00
template = f.read()
with codecs.open("doc/site/template-core.html", encoding="utf-8") as f:
2015-01-18 15:36:36 -08:00
template_core = f.read()
def ensure_dir(path):
if not os.path.exists(path):
os.mkdir(path)
2014-01-31 20:55:37 -08:00
def is_up_to_date(path, out_path):
2013-12-04 07:46:41 -08:00
# See if it's up to date.
source_mod = os.path.getmtime(path)
source_mod = max(source_mod, os.path.getmtime('doc/site/template.html'))
dest_mod = 0
if os.path.exists(out_path):
dest_mod = os.path.getmtime(out_path)
2014-01-28 13:56:49 -06:00
return source_mod < dest_mod
2013-12-04 07:46:41 -08:00
2014-01-28 13:56:49 -06:00
def format_file(path, skip_up_to_date):
basename = os.path.basename(path)
basename = basename.split('.')[0]
2015-01-18 15:36:36 -08:00
in_path = os.path.join('doc/site', path)
out_path = "build/docs/" + os.path.splitext(path)[0] + ".html"
2014-01-28 13:56:49 -06:00
2015-01-18 15:36:36 -08:00
if skip_up_to_date and is_up_to_date(in_path, out_path):
2014-01-28 13:56:49 -06:00
# It's up to date.
2013-12-04 07:46:41 -08:00
return
2013-11-21 21:38:36 -08:00
title = ""
2014-04-14 21:23:46 -07:00
category = ""
2013-11-21 21:38:36 -08:00
# Read the markdown file and preprocess it.
contents = ""
with codecs.open(in_path, "r", encoding="utf-8") as input:
2013-11-21 21:38:36 -08:00
# Read each line, preprocessing the special codes.
for line in input:
stripped = line.lstrip()
indentation = line[:len(line) - len(stripped)]
if stripped.startswith("^"):
command,_,args = stripped.rstrip("\n").lstrip("^").partition(" ")
args = args.strip()
if command == "title":
title = args
2014-04-14 21:23:46 -07:00
elif command == "category":
category = args
2013-11-21 21:38:36 -08:00
else:
print(' '.join(["UNKNOWN COMMAND:", command, args]))
2013-11-21 21:38:36 -08:00
elif MARKDOWN_HEADER.match(stripped):
2014-01-31 17:51:09 -08:00
# Add anchors to the headers.
index = stripped.find(" ")
headertype = stripped[:index]
header = stripped[index:].strip()
anchor = header.lower().replace(' ', '-')
anchor = FORMAT_ANCHOR.sub('', anchor)
2014-01-31 17:51:09 -08:00
contents += indentation + headertype
contents += '{1} <a href="#{0}" name="{0}" class="header-anchor">#</a>\n'.format(anchor, header)
2013-11-21 21:38:36 -08:00
else:
contents = contents + line
2015-09-22 21:19:38 -07:00
html = markdown.markdown(contents, ['def_list', 'codehilite', 'smarty'])
2013-11-21 21:38:36 -08:00
2015-01-18 15:36:36 -08:00
modified = datetime.fromtimestamp(os.path.getmtime(in_path))
2013-11-21 21:38:36 -08:00
mod_str = modified.strftime('%B %d, %Y')
2015-01-18 15:36:36 -08:00
page_template = template
if category == 'core':
page_template = template_core
2014-04-14 21:23:46 -07:00
fields = {
'title': title,
'html': html,
'mod': mod_str,
2014-04-20 21:42:17 -07:00
'category': category
2014-04-14 21:23:46 -07:00
}
2013-11-21 21:38:36 -08:00
# Write the html output.
2015-01-18 15:36:36 -08:00
ensure_dir(os.path.dirname(out_path))
with codecs.open(out_path, "w", encoding="utf-8") as out:
2015-01-18 15:36:36 -08:00
out.write(page_template.format(**fields))
2013-11-21 21:38:36 -08:00
2015-01-18 15:36:36 -08:00
print("converted " + path)
2013-11-21 21:38:36 -08:00
2013-12-04 07:46:41 -08:00
2014-04-05 15:39:02 -07:00
def check_sass():
source_mod = os.path.getmtime('doc/site/style.scss')
dest_mod = 0
if os.path.exists('build/docs/style.css'):
dest_mod = os.path.getmtime('build/docs/style.css')
if source_mod < dest_mod:
return
subprocess.call(['sass', 'doc/site/style.scss', 'build/docs/style.css'])
print("built css")
2014-04-05 15:39:02 -07:00
2013-12-04 07:46:41 -08:00
def format_files(skip_up_to_date):
2014-04-05 15:39:02 -07:00
check_sass()
2015-01-18 15:36:36 -08:00
for root, dirnames, filenames in os.walk('doc/site'):
for filename in fnmatch.filter(filenames, '*.markdown'):
f = os.path.relpath(os.path.join(root, filename), 'doc/site')
format_file(f, skip_up_to_date)
2014-01-31 20:55:37 -08:00
2013-12-04 07:46:41 -08:00
2013-11-21 21:38:36 -08:00
# Clean the output directory.
2014-01-30 06:51:52 -08:00
if os.path.exists("build/docs"):
shutil.rmtree("build/docs")
2015-01-18 15:36:36 -08:00
ensure_dir("build/docs")
2013-11-21 21:38:36 -08:00
# Process each markdown file.
2013-12-04 07:46:41 -08:00
format_files(False)
2013-11-21 21:38:36 -08:00
2014-01-31 20:55:37 -08:00
# Watch files.
2013-12-04 07:46:41 -08:00
if len(sys.argv) == 2 and sys.argv[1] == '--watch':
while True:
format_files(True)
time.sleep(0.3)