| #! /bin/sh |
| # |
| # Script to fix general entities that got translated from the LaTeX as empty |
| # elements. Mostly pretty bogus, but works like a charm! |
| # |
| # Removes the leading XML PI that identifies the XML version, since most of |
| # the XML files are not used as top-level documents. |
| |
| if [ "$1" ]; then |
| exec <"$1" |
| shift 1 |
| fi |
| |
| if [ "$1" ]; then |
| exec >"$1" |
| 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 |
| 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|<geq>|\≥|g |
| s|<ldots>|\&hellip|g |
| s|<leq>|\≤|g |
| s|---|\—|g |
| ' || exit $? |