diff options
| -rwxr-xr-x | Doc/tools/sgmlconv/fixgenents.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Doc/tools/sgmlconv/fixgenents.sh b/Doc/tools/sgmlconv/fixgenents.sh new file mode 100755 index 0000000000..220e35669d --- /dev/null +++ b/Doc/tools/sgmlconv/fixgenents.sh @@ -0,0 +1,25 @@ +#! /bin/sh +# +# Script to fix general entities that got translated from the LaTeX as empty +# elements. Mostly pretty bogus, but works like a charm! + +if [ "$1" ]; then + exec <"$1" + shift 1 +fi + +if [ "$1" ]; then + exec >"$1" + shift 1 +fi + +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 +' || exit $? |