diff options
Diffstat (limited to 'repo/www/generate-index.py')
| -rwxr-xr-x | repo/www/generate-index.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py index 7eed97a..316a0f3 100755 --- a/repo/www/generate-index.py +++ b/repo/www/generate-index.py @@ -21,6 +21,10 @@ def parse_arguments(): '--site-title', help='Prefix to add to <title>.' ) parser.add_argument( + '--lua-filter', dest='filters', action='append', + help='Lua filter to run the page through.' + ) + parser.add_argument( 'site_tree', help='JSON file describing the page tree.' ) parser.add_argument( @@ -111,7 +115,7 @@ def main(arguments): page.flush() pandoc(page.name, arguments.output, arguments.template, - site_title=arguments.site_title) + arguments.filters, site_title=arguments.site_title) if __name__ == '__main__': |
