Handle output of \geq and \leq.

diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh
index 8d5f1219ef3db10a60c7fc1305f84bb06d06a554..117b41516e22c085db929caec59d715acdd369bb 100755 (executable)
--- a/Doc/tools/sgmlconv/fixgenents.sh
+++ b/Doc/tools/sgmlconv/fixgenents.sh
@@ -23,6 +23,8 @@ s|<NULL/>|\&NULL;|g
 s|<POSIX/>|\&POSIX;|g
 s|<UNIX/>|\&UNIX;|g
 s|<e/>|\&bsol;|g
+s|<geq/>|\&ge;|g
 s|<ldots/>|\&hellip|g
+s|<leq/>|\&le;|g
 s|---|\&mdash;|g
 ' || exit $?