From 392123376215e9cd68e7d2280162ba151aa630d6 Mon Sep 17 00:00:00 2001
From: Shlomi Fish <shlomif@shlomifish.org>
Date: Sun, 22 Jul 2018 17:04:40 +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 ada3da03..f32330fa 100755
--- a/html-src/gen-html.py
+++ b/html-src/gen-html.py
@@ -100,7 +100,7 @@ link="#FF0000">
 '''
 rules_footer = '''
 <p>
-%s
+%(footer)s
 <br>
 <a href="../glossary.html">Glossary</a>
 <br>
@@ -243,7 +243,7 @@ def gen_rules_html():
             print(wikipedia_header % title, file=outfile)
         with open(os.path.join(dir, filename), 'r', encoding='utf-8') as file:
             print(file.read(), file=outfile)
-        print(rules_footer % footer, file=outfile)
+        print(rules_footer % {'footer': footer}, file=outfile)
         outfile.close()