diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh index ebc596c444d..6fa36f45030 100755 --- a/Doc/tools/sgmlconv/fixgenents.sh +++ b/Doc/tools/sgmlconv/fixgenents.sh @@ -45,5 +45,4 @@ s||\≥|g s||\&hellip|g s||\≤|g s||\&version;|g -s|---|\—|g ' || exit $?