genhtml: Close all html elements and add copyright to all pages
authorMichal Sojka <sojkam1@fel.cvut.cz>
Wed, 16 Feb 2011 12:11:56 +0000 (13:11 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Wed, 16 Feb 2011 12:11:56 +0000 (13:11 +0100)
gw-tests/genhtml/genhtml.py

index fd5940c..1ed6ce7 100755 (executable)
@@ -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__":