summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
diff options
context:
space:
mode:
authorKévin Le Gouguec <kevin.legouguec@gmail.com>2020-08-17 22:28:32 +0200
committerKévin Le Gouguec <kevin.legouguec@gmail.com>2020-08-18 22:13:03 +0200
commitb173c7328dc8ae69880b305216f1196b052f5e03 (patch)
tree0532948e320e867fd35fd6745b0af983a5c35b6f /repo/www/generate-index.py
parentf57d38ec6425bdd41aa88a28d24b170c37680fdb (diff)
downloadmemory-leaks-b173c7328dc8ae69880b305216f1196b052f5e03.tar.xz
Pass HTML template to scripts explicitly
Diffstat (limited to 'repo/www/generate-index.py')
-rwxr-xr-xrepo/www/generate-index.py12
1 files changed, 8 insertions, 4 deletions
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py
index 5cd33a0..c51bf98 100755
--- a/repo/www/generate-index.py
+++ b/repo/www/generate-index.py
@@ -14,12 +14,15 @@ from helpers import deserialize_directories
def parse_arguments():
parser = ArgumentParser()
parser.add_argument(
- 'site_tree', help='JSON file describing the page tree.'
+ '--template', help='Pandoc template for HTML output.'
)
parser.add_argument(
'--site-title', help='Prefix to add to <title>.'
)
parser.add_argument(
+ 'site_tree', help='JSON file describing the page tree.'
+ )
+ parser.add_argument(
'target', help='Subfolder to generate an index for.'
)
parser.add_argument(
@@ -96,10 +99,10 @@ def format_index(target, directories, files):
return format_readme_index(intro, title, items)
-def convert_page(content, output, site_title):
+def convert_page(content, output, site_title, template):
pandoc = (
'pandoc', '-s', '--lua-filter', 'convert-internal-links.lua',
- '--template', 'template.html', '-o', output
+ '--template', template, '-o', output
)
if site_title is not None:
pandoc += ('-T', site_title)
@@ -110,7 +113,8 @@ def convert_page(content, output, site_title):
def main(arguments):
folders, files = list_files(arguments.site_tree, arguments.target)
index_page = format_index(arguments.target, folders, files)
- convert_page(index_page, arguments.output, arguments.site_title)
+ convert_page(index_page, arguments.output, arguments.site_title,
+ arguments.template)
if __name__ == '__main__':