#! /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||\&hellip|g
s|---|\—|g
' || exit $?