blob: 117b41516e22c085db929caec59d715acdd369bb (
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
25
26
27
28
29
30
|
#! /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/>|\&ABC;|g
s|<ASCII/>|\&ASCII;|g
s|<C/>|\&C;|g
s|<Cpp/>|\&Cpp;|g
s|<EOF/>|\&EOF;|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|---|\—|g
' || exit $?
|