blob: 0503d7bfee3bde432634963af9361696d800e06f [file] [log] [blame]
Fred Drake6942e571998-11-24 17:38:49 +00001#! /bin/sh
2#
3# Script to fix general entities that got translated from the LaTeX as empty
4# elements. Mostly pretty bogus, but works like a charm!
Fred Drake3d5e2c01998-11-30 22:30:29 +00005#
6# Removes the leading XML PI that identifies the XML version, since most of
7# the XML files are not used as top-level documents.
Fred Drake6942e571998-11-24 17:38:49 +00008
9if [ "$1" ]; then
10 exec <"$1"
11 shift 1
12fi
13
14if [ "$1" ]; then
15 exec >"$1"
16 shift 1
17fi
18
Fred Drake3d5e2c01998-11-30 22:30:29 +000019grep -v '^<?xml .*?>$$' | sed '
Fred Drake6942e571998-11-24 17:38:49 +000020s|<ABC/>|\&ABC;|g
21s|<ASCII/>|\&ASCII;|g
22s|<C/>|\&C;|g
23s|<Cpp/>|\&Cpp;|g
24s|<EOF/>|\&EOF;|g
25s|<NULL/>|\&NULL;|g
26s|<POSIX/>|\&POSIX;|g
27s|<UNIX/>|\&UNIX;|g
Fred Drake4c5e5331998-11-25 19:28:02 +000028s|<e/>|\&bsol;|g
Fred Drake87dfd3c1998-11-30 14:36:26 +000029s|<geq/>|\&ge;|g
Fred Drake4c5e5331998-11-25 19:28:02 +000030s|<ldots/>|\&hellip|g
Fred Drake87dfd3c1998-11-30 14:36:26 +000031s|<leq/>|\&le;|g
Fred Drake4c5e5331998-11-25 19:28:02 +000032s|---|\&mdash;|g
Fred Drake6942e571998-11-24 17:38:49 +000033' || exit $?