diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-17 22:28:32 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-18 22:13:03 +0200 |
| commit | b173c7328dc8ae69880b305216f1196b052f5e03 (patch) | |
| tree | 0532948e320e867fd35fd6745b0af983a5c35b6f /repo/www/generate-index.py | |
| parent | f57d38ec6425bdd41aa88a28d24b170c37680fdb (diff) | |
| download | memory-leaks-b173c7328dc8ae69880b305216f1196b052f5e03.tar.xz | |
Pass HTML template to scripts explicitly
Diffstat (limited to 'repo/www/generate-index.py')
| -rwxr-xr-x | repo/www/generate-index.py | 12 |
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__': |
