further tweaks in html output.

diff --git a/buildscripts/output-distance.py b/buildscripts/output-distance.py
index 333aa70ba20acb958b72893ff3ac0d168c2a83ba..300e778fccc8614f2e998469a7434e598c1c9cbf 100644 (file)
--- a/buildscripts/output-distance.py
+++ b/buildscripts/output-distance.py
@@ -404,16 +404,20 @@ class TextFileCompareLink (FileCompareLink):
         open_write_file (f).write (str)
      
     def html_record_string (self, d1, d2):
+        (dist, f1, f2) = (self.distance(),) + self.files
+        b1 = os.path.basename (f1)
+        b2 = os.path.basename (f2)
+        
         return '''<tr>
 <td>
 %f
 </td>
 <td><tt>%s</tt></td>
 <td><a href="%s.diff.txt"><tt>%s</tt></a></td>
-</tr>''' % (self.distance(),
-            self.files[0],
+</tr>''' % (dist,
+            b1,
             os.path.join (d2, self.name ()),
-            self.files[1])
+            b2)
 
 
 class ProfileFileLink (TextFileCompareLink):