summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xDoc/tools/sgmlconv/fixgenents.sh2
1 files changed, 2 insertions, 0 deletions
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|<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 $?