From c6f09513154c18076ec4d1150cabe0a22d83314a Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Sat, 25 Apr 2020 23:51:27 +0200 Subject: Remove redundant title prefix on top-level index --- repo/www/generate-index.py | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'repo/www/generate-index.py') diff --git a/repo/www/generate-index.py b/repo/www/generate-index.py index 62daf79..1fb00e6 100755 --- a/repo/www/generate-index.py +++ b/repo/www/generate-index.py @@ -17,7 +17,7 @@ def parse_arguments(): 'site_tree', help='JSON file describing the page tree.' ) parser.add_argument( - 'site_title', help='Title to add to .' + '--site-title', help='Prefix to add to <title>.' ) parser.add_argument( 'target', help='Subfolder to generate an index for.' @@ -97,10 +97,11 @@ def format_index(target, directories, files): def convert_page(content, output, site_title): - run( - ('pandoc', '-s', '-o', output, '-T', site_title), - input=content, check=True, text=True - ) + pandoc = ('pandoc', '-s', '-o', output) + if site_title is not None: + pandoc += ('-T', site_title) + + run(pandoc, input=content, check=True, text=True) def main(arguments): -- cgit v1.2.3