summaryrefslogtreecommitdiff
path: root/repo/www/generate-index.py
diff options
context:
space:
mode:
authorKévin Le Gouguec <kevin.legouguec@gmail.com>2020-08-18 22:30:19 +0200
committerKévin Le Gouguec <kevin.legouguec@gmail.com>2020-08-18 22:30:19 +0200
commitb5205f3253e745083f55f40f4a5e64cb2da39aac (patch)
treec754b027780304bccfe114789839b312b96b8952 /repo/www/generate-index.py
parent205b6d12ff5673bd8ae59f827f07b69771b9dfee (diff)
downloadmemory-leaks-b5205f3253e745083f55f40f4a5e64cb2da39aac.tar.xz
Pass filters to generation scripts explicitly
Diffstat (limited to 'repo/www/generate-index.py')
-rwxr-xr-xrepo/www/generate-index.py6
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__':