# HG changeset patch
# User davidvanzessen
# Date 1444832320 14400
# Node ID 6562c81d6583285bb8714c8e2d75a9a099b9baaf
# Parent  c89d9e89423b2edae196e3c7e2fb53d3eb496af4
Uploaded

diff -r c89d9e89423b -r 6562c81d6583 wrapper.sh
--- a/wrapper.sh	Wed Oct 14 10:18:30 2015 -0400
+++ b/wrapper.sh	Wed Oct 14 10:18:40 2015 -0400
@@ -339,6 +339,10 @@
 html="index.html"
 
 echo "</table>" >> "$html"
+echo "<a href='log.html'>log</a><br />" >> "$html"
+echo "<a href='single_matches.html'>single_matches</a><br />" >> "$html"
+echo "<a href='multiple_matches.html'>multiple_matches</a><br />" >> "$html"
 echo "</html>" >> "$html"
 
+cp "index.html" "$outputFile"