diff options
Diffstat (limited to 'repo/www/generate-page.py')
| -rwxr-xr-x | repo/www/generate-page.py | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/repo/www/generate-page.py b/repo/www/generate-page.py new file mode 100755 index 0000000..a8dd81d --- /dev/null +++ b/repo/www/generate-page.py @@ -0,0 +1,35 @@ +#!/usr/bin/env python3 + +from argparse import ArgumentParser +from subprocess import run + + +def parse_arguments(): + parser = ArgumentParser() + parser.add_argument( + '--site-title', help='Prefix to add to <title>.' + ) + parser.add_argument( + '--title', help='Page title.' + ) + parser.add_argument( + 'page', help='Page to convert to HTML.' + ) + parser.add_argument( + 'output', help='Path to the output file.' + ) + return parser.parse_args() + + +def main(arguments): + pandoc = ( + 'pandoc', '-s', arguments.page, '-o', arguments.output, + '--lua-filter', 'convert-internal-links.lua', + '--template', 'template.html', '-T', arguments.site_title, + '-M', f'title={arguments.title}' + ) + run(pandoc, check=True) + + +if __name__ == '__main__': + main(parse_arguments()) |
