From b892246b98870b63e93f766dc0e3764bf3683163 Mon Sep 17 00:00:00 2001
From: Michal Sojka <sojkam1@fel.cvut.cz>
Date: Thu, 9 Dec 2010 17:38:00 +0100
Subject: [PATCH] Add links to script sources

---
 gw-tests/genhtml/genhtml.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gw-tests/genhtml/genhtml.py b/gw-tests/genhtml/genhtml.py
index 5425f5e..8906e55 100755
--- a/gw-tests/genhtml/genhtml.py
+++ b/gw-tests/genhtml/genhtml.py
@@ -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):
-- 
2.39.2