Convert <version> to &version;.

diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh
index 070dd5299275ea855370b83a9811d19406947049..ebc596c444d1d756efb9e1e74e394aeb198dfd13 100755 (executable)
--- a/Doc/tools/sgmlconv/fixgenents.sh
+++ b/Doc/tools/sgmlconv/fixgenents.sh
@@ -30,6 +30,7 @@ s|<e/>|\\|g
 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|<e>|\\|g
 s|<geq>|\&ge;|g
 s|<ldots>|\&hellip|g
 s|<leq>|\&le;|g
+s|<version>|\&version;|g
 s|---|\&mdash;|g
 ' || exit $?