diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-18 22:30:19 +0200 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2020-08-18 22:30:19 +0200 |
| commit | b5205f3253e745083f55f40f4a5e64cb2da39aac (patch) | |
| tree | c754b027780304bccfe114789839b312b96b8952 /repo/www/generate-index.py | |
| parent | 205b6d12ff5673bd8ae59f827f07b69771b9dfee (diff) | |
| download | memory-leaks-b5205f3253e745083f55f40f4a5e64cb2da39aac.tar.xz | |
Pass filters to generation scripts explicitly
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__': |
