#! /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 '^$$' | sed ' s||\&ABC;|g s||\&ASCII;|g s||\&C;|g s||\&Cpp;|g s||\&EOF;|g s||\&NULL;|g s||\&POSIX;|g s||\&UNIX;|g s||\\|g s||\≥|g s||\&hellip|g s||\≤|g s||\&ABC;|g s||\&ASCII;|g s||\&C;|g s||\&Cpp;|g s||\&EOF;|g s||\&NULL;|g s||\&POSIX;|g s||\&UNIX;|g s||\\|g s||\≥|g s||\&hellip|g s||\≤|g s|---|\—|g ' || exit $?