diff options
-rw-r--r-- | doc/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/index.html b/doc/index.html index 16262fe..a14c5f7 100644 --- a/doc/index.html +++ b/doc/index.html @@ -436,7 +436,7 @@ AR=$(CROSS)ar</pre> </tr> <tr> <td><a href="http://www.gnu.org/software/make/">GNU Make</a></td> - <td>>= 3.81</td> + <td>≥ 3.81</td> </tr> <tr> <td><a href="http://www.gnu.org/software/sed/">GNU Sed</a></td> @@ -456,7 +456,7 @@ AR=$(CROSS)ar</pre> </tr> <tr> <td><a href="http://www.scons.org/">SCons</a></td> - <td>>= 0.98</td> + <td>≥ 0.98</td> </tr> <tr> <td><a href="http://www.info-zip.org/UnZip.html">UnZip</a></td> |