improved HTML style of docs

15 years ago · b439f1f026
parent 3f66c6b11d
commit b439f1f026
1 changed files with 2 additions and 2 deletions
--- a/doc/index.html
+++ b/doc/index.html
@ -490,7 +490,7 @@ USE_OSGPLUGIN(&lt;plugin2&gt;)
    </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 @@ USE_OSGPLUGIN(&lt;plugin2&gt;)
    </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>