diff options
Diffstat (limited to 'Doc/tools')
| -rwxr-xr-x | Doc/tools/sgmlconv/fixgenents.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh index 220e356..8d5f121 100755 --- a/Doc/tools/sgmlconv/fixgenents.sh +++ b/Doc/tools/sgmlconv/fixgenents.sh @@ -22,4 +22,7 @@ s|<EOF/>|\&EOF;|g s|<NULL/>|\&NULL;|g s|<POSIX/>|\&POSIX;|g s|<UNIX/>|\&UNIX;|g +s|<e/>|\\|g +s|<ldots/>|\&hellip|g +s|---|\—|g ' || exit $? |