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