Add index.html generation.
This commit is contained in:
parent
ef1d71dc2f
commit
399f00a54f
@ -20,6 +20,7 @@ EXTENSIONS = [
|
|||||||
]
|
]
|
||||||
|
|
||||||
MIN_HIDDEN_HEADLINE_LEVEL = 2
|
MIN_HIDDEN_HEADLINE_LEVEL = 2
|
||||||
|
INDEX_ID = "ea48ec1d-f9d4-4fb7-b39a-faa7b6e2ba95"
|
||||||
|
|
||||||
def load_all(top_dir_relative):
|
def load_all(top_dir_relative):
|
||||||
top = os.path.abspath(top_dir_relative)
|
top = os.path.abspath(top_dir_relative)
|
||||||
@ -156,6 +157,12 @@ def main(src_top, dest_top):
|
|||||||
f.write(as_document(render(headline, doc, headlineLevel=0)))
|
f.write(as_document(render(headline, doc, headlineLevel=0)))
|
||||||
files_generated += 1
|
files_generated += 1
|
||||||
|
|
||||||
|
if headline.id == INDEX_ID:
|
||||||
|
index_endpath = os.path.join(dest_top, "index.html")
|
||||||
|
with open(index_endpath, "wt") as f:
|
||||||
|
f.write(as_document(render(headline, doc, headlineLevel=0)))
|
||||||
|
files_generated += 1
|
||||||
|
|
||||||
# Update graph, replace document ids with headline ids
|
# Update graph, replace document ids with headline ids
|
||||||
for headline_data in graph.values():
|
for headline_data in graph.values():
|
||||||
for link in headline_data['links']:
|
for link in headline_data['links']:
|
||||||
@ -318,6 +325,7 @@ def as_document(html):
|
|||||||
return f"""<!DOCTYPE html>
|
return f"""<!DOCTYPE html>
|
||||||
<html>
|
<html>
|
||||||
<head>
|
<head>
|
||||||
|
<meta charset="utf-8">
|
||||||
<link href="../static/style.css" rel="stylesheet"/>
|
<link href="../static/style.css" rel="stylesheet"/>
|
||||||
<script type="text/javascript">
|
<script type="text/javascript">
|
||||||
function toggle_expand(header_id) {{
|
function toggle_expand(header_id) {{
|
||||||
|
Loading…
Reference in New Issue
Block a user