diff options
Diffstat (limited to 'Doc/tools/sgmlconv/fixgenents.sh')
| -rwxr-xr-x | Doc/tools/sgmlconv/fixgenents.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh index 6fa36f4..41e9e3f 100755 --- a/Doc/tools/sgmlconv/fixgenents.sh +++ b/Doc/tools/sgmlconv/fixgenents.sh @@ -17,32 +17,8 @@ if [ "$1" ]; then fi 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|<version/>|\&version;|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 -s|<version>|\&version;|g ' || exit $? |