diff options
| -rwxr-xr-x | Doc/tools/sgmlconv/fixgenents.sh | 40 |
1 files changed, 21 insertions, 19 deletions
diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh index fc825c8..070dd529 100755 --- a/Doc/tools/sgmlconv/fixgenents.sh +++ b/Doc/tools/sgmlconv/fixgenents.sh @@ -16,28 +16,30 @@ if [ "$1" ]; then shift 1 fi -grep -v '^<?xml .*?>$$' | sed ' -s|<ABC/>|\&ABC;|g -s|<ASCII/>|\&ASCII;|g -s|<C/>|\&C;|g -s|<Cpp/>|\&Cpp;|g -s|<EOF/>|\&EOF;|g -s|<NULL/>|\&NULL;|g -s|<POSIX/>|\&POSIX;|g -s|<UNIX/>|\&UNIX;|g -s|<e/>|\\|g +sed ' +s|<ABC/>|ABC|g +s|<ASCII/>|ASCII|g +s|<C/>|C|g +s|<Cpp/>|C++|g +s|<EOF/>|EOF|g +s|<LaTeX/>|LaTeX|g +s|<NULL/>|NULL|g +s|<POSIX/>|POSIX|g +s|<UNIX/>|Unix|g +s|<e/>|\\|g s|<geq/>|\≥|g s|<ldots/>|\&hellip|g s|<leq/>|\≤|g -s|<ABC>|\&ABC;|g -s|<ASCII>|\&ASCII;|g -s|<C>|\&C;|g -s|<Cpp>|\&Cpp;|g -s|<EOF>|\&EOF;|g -s|<NULL>|\&NULL;|g -s|<POSIX>|\&POSIX;|g -s|<UNIX>|\&UNIX;|g -s|<e>|\\|g +s|<ABC>|ABC|g +s|<ASCII>|ASCII|g +s|<C>|C|g +s|<Cpp>|C++|g +s|<EOF>|EOF|g +s|<LaTeX>|LaTeX|g +s|<NULL>|NULL|g +s|<POSIX>|POSIX|g +s|<UNIX>|Unix|g +s|<e>|\\|g s|<geq>|\≥|g s|<ldots>|\&hellip|g s|<leq>|\≤|g |