From 00a027d57d0d4b6c9f91aab72ccbf264e0242adb Mon Sep 17 00:00:00 2001
From: Robin Mills <robin@clanmills.com>
Date: Sat, 21 Dec 2013 03:50:50 +0000
Subject: [PATCH] Issue# 586.  Thank You, Alex for this report and patch.  Much
 appreciated.

---
 doc/templates/gen.py | 8 ++++----
 website/bin/gen.py   | 8 ++++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/doc/templates/gen.py b/doc/templates/gen.py
index bb9c4130..afc390d1 100755
--- a/doc/templates/gen.py
+++ b/doc/templates/gen.py
@@ -7,9 +7,9 @@ date_format = "%d-%b-%Y"
 # ----------------------------------------------------------------------
 # functions
 def usage():
-   print """Usage: gen.py file.in [...]
+   print("""Usage: gen.py file.in [...]
    Substitute placeholders in input files with content
-   """
+   """)
 
 def gen_html(file):
    """Replace variables in the file with their content"""
@@ -49,9 +49,9 @@ for i in range(len(vars)-1, -1, -1):
 vars.sort()
 
 # Substitute variables in all input files
-print "Substituting variables", vars
+print("Substituting variables {0}".format(vars))
 for file in input:
-   print "Processing", file, "..."
+   print("Processing {0}...".format(file))
    text = gen_html(file)
    file = file.replace(".in", "")
    open(file, 'w').write(text)
diff --git a/website/bin/gen.py b/website/bin/gen.py
index 49378589..5092fdce 100755
--- a/website/bin/gen.py
+++ b/website/bin/gen.py
@@ -7,9 +7,9 @@ date_format = "%d-%b-%Y"
 # ----------------------------------------------------------------------
 # functions
 def usage():
-   print """Usage: gen.py file.in [...]
+   print("""Usage: gen.py file.in [...]
    Substitute placeholders in input files with content
-   """
+   """)
 
 def gen_html(file):
    """Replace variables in the file with their content"""
@@ -49,9 +49,9 @@ for i in range(len(vars)-1, -1, -1):
 vars.sort()
 
 # Substitute variables in all input files
-print "Substituting variables", vars
+print("Substituting variables {0}".format(vars))
 for file in input:
-   print "Processing", file, "..."
+   print("Processing {0}...".format(file))
    text = gen_html(file)
    file = file.replace(".in", "")
    open(file, 'w').write(text)