genhtml: Close all html elements and add copyright to all pages

diff --git a/gw-tests/genhtml/genhtml.py b/gw-tests/genhtml/genhtml.py
index fd5940ce741f9517a7e9f1681465860d97370938..1ed6ce74e0b279f8f2e168add68392d3226f486b 100755 (executable)
--- a/gw-tests/genhtml/genhtml.py
+++ b/gw-tests/genhtml/genhtml.py
@@ -7,6 +7,8 @@ import urllib
 import traceback
 import glob
 
+html_copyright = """<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Copyright © 2010, 2011 Czech Technical University in Prague</div>"""
+
 class DimValue(object):
     def __new__(cls, dim, value):
         if value in dim:
@@ -228,7 +230,7 @@ class Test(object):
         print >>html, "<a href='./'>Raw data</a><br />"
         print >>html, "<a href='%s'>Script source</a><br />" % (cdup+self.name+".sh.html")
         print >>html, "<a href='%s'>Back to top</a><br />" % cdup
-
+        print >>html,"%s</body></html>" % html_copyright
         html.close()
 
 class Space(list):
@@ -396,9 +398,9 @@ class Page(object):
            print >>html, "</tr>"
        print >> html, """
 </table>
-<div style="font-size: small; color: gray; margin-top: 1em;">Authors: Michal Sojka, Pavel Píša, Copyright © 2010 Czech Technical University in Prague</div>
+%s
 </body>
-"""
+""" % html_copyright
 
 
 if __name__ == "__main__":