Convert <version> to &version;.
diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh
index 070dd529..ebc596c 100755
--- a/Doc/tools/sgmlconv/fixgenents.sh
+++ b/Doc/tools/sgmlconv/fixgenents.sh
@@ -30,6 +30,7 @@
 s|<geq/>|\&ge;|g
 s|<ldots/>|\&hellip|g
 s|<leq/>|\&le;|g
+s|<version/>|\&version;|g
 s|<ABC>|ABC|g
 s|<ASCII>|ASCII|g
 s|<C>|C|g
@@ -43,5 +44,6 @@
 s|<geq>|\&ge;|g
 s|<ldots>|\&hellip|g
 s|<leq>|\&le;|g
+s|<version>|\&version;|g
 s|---|\&mdash;|g
 ' || exit $?