From 3b6e8b5e87624c42b14647ee4f56e33fac466e91 Mon Sep 17 00:00:00 2001 From: Shlomi Fish Date: Sun, 22 Jul 2018 16:58:50 +0300 Subject: [PATCH] named conversions. --- html-src/gen-html.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html-src/gen-html.py b/html-src/gen-html.py index bb009eb7..ada3da03 100755 --- a/html-src/gen-html.py +++ b/html-src/gen-html.py @@ -89,7 +89,7 @@ main_footer = ''' rules_header = ''' -%s +%(title)s @@ -238,7 +238,7 @@ def gen_rules_html(): outfile = open( os.path.join('html', 'rules', filename), 'w', encoding='utf-8') if dir == 'rules': - print(rules_header % title, file=outfile) + print(rules_header % {'title': title}, file=outfile) else: # d == 'wikipedia' print(wikipedia_header % title, file=outfile) with open(os.path.join(dir, filename), 'r', encoding='utf-8') as file: