49 lines
869 B
Bash
Executable File
49 lines
869 B
Bash
Executable File
#! /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/>|ABC|g
|
|
s|<ASCII/>|ASCII|g
|
|
s|<C/>|C|g
|
|
s|<Cpp/>|C++|g
|
|
s|<EOF/>|EOF|g
|
|
s|<LaTeX/>|LaTeX|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|<version/>|\&version;|g
|
|
s|<ABC>|ABC|g
|
|
s|<ASCII>|ASCII|g
|
|
s|<C>|C|g
|
|
s|<Cpp>|C++|g
|
|
s|<EOF>|EOF|g
|
|
s|<LaTeX>|LaTeX|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|<version>|\&version;|g
|
|
' || exit $?
|