changeset 675:ad3600b7be3a

improved HTML style of docs
author Volker Grabsch <vog@notjusthosting.com>
date Thu, 04 Feb 2010 17:51:41 +0100
parents ba1c85647fc1
children 24e7c507a923
files doc/index.html
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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>