#! /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;|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 $?