# HG changeset patch
# User Volker Grabsch <vog@notjusthosting.com>
# Date 1265302301 -3600
# Node ID ad3600b7be3ae43ba6cd4c6ff33f719d7ce9da26
# Parent  ba1c85647fc1154fdadd264814e94bed12387a6a
improved HTML style of docs

diff -r ba1c85647fc1 -r ad3600b7be3a doc/index.html
--- a/doc/index.html	Mon Feb 01 16:13:17 2010 +0100
+++ b/doc/index.html	Thu Feb 04 17:51:41 2010 +0100
@@ -490,7 +490,7 @@
     </tr>
     <tr>
         <td><a href="http://www.gnu.org/software/make/">GNU Make</a></td>
-        <td>&ge; 3.81</td>
+        <td>≥ 3.81</td>
     </tr>
     <tr>
         <td><a href="http://www.gnu.org/software/sed/">GNU Sed</a></td>
@@ -510,7 +510,7 @@
     </tr>
     <tr>
         <td><a href="http://www.scons.org/">SCons</a></td>
-        <td>&ge; 0.98</td>
+        <td>≥ 0.98</td>
     </tr>
     <tr>
         <td><a href="http://www.info-zip.org/UnZip.html">UnZip</a></td>