blob: 41e9e3f5d1fb8965ee770ea407d62d55a59b8844 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#! /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|<geq/>|\≥|g
s|<leq/>|\≤|g
s|<geq>|\≥|g
s|<leq>|\≤|g
' || exit $?
|
