1998-11-24 17:38:49 +00:00
|
|
|
#! /bin/sh
|
|
|
|
#
|
|
|
|
# Script to fix general entities that got translated from the LaTeX as empty
|
|
|
|
# elements. Mostly pretty bogus, but works like a charm!
|
1998-11-30 22:30:29 +00:00
|
|
|
#
|
|
|
|
# Removes the leading XML PI that identifies the XML version, since most of
|
|
|
|
# the XML files are not used as top-level documents.
|
1998-11-24 17:38:49 +00:00
|
|
|
|
|
|
|
if [ "$1" ]; then
|
|
|
|
exec <"$1"
|
|
|
|
shift 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ "$1" ]; then
|
|
|
|
exec >"$1"
|
|
|
|
shift 1
|
|
|
|
fi
|
|
|
|
|
1999-01-14 21:44:56 +00:00
|
|
|
sed '
|
1998-11-30 14:36:26 +00:00
|
|
|
s|<geq/>|\≥|g
|
|
|
|
s|<leq/>|\≤|g
|
1998-12-10 04:56:00 +00:00
|
|
|
s|<geq>|\≥|g
|
|
|
|
s|<leq>|\≤|g
|
1998-11-24 17:38:49 +00:00
|
|
|
' || exit $?
|