Add links to script sources
authorMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 9 Dec 2010 16:38:00 +0000 (17:38 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 9 Dec 2010 16:38:00 +0000 (17:38 +0100)
gw-tests/genhtml/genhtml.py

index 5425f5e..8906e55 100755 (executable)
@@ -172,7 +172,8 @@ class Test:
         print >>html, "</div>"
         print >>html, "<div><img src='%s' /></div>" % (self.name+".png")
         print >>html, "<a href='./'>Raw data</a><br />"
-        print >>html, "<a href='%s'>Back to top</a>" % cdup
+        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
         
         html.close()
 
@@ -263,7 +264,7 @@ h4 { margin: 0; }
             print test.path
             test.generateHtml()
 
-       #os.system("source-highlight -d --output-dir=. ../*.sh")
+       os.system("source-highlight -d --output-dir=. ../*.sh > /dev/null")
 
 class Page:
     def __init__(self, dimPair, valsOther, tests):