| Fred Drake | 6942e57 | 1998-11-24 17:38:49 +0000 | [diff] [blame] | 1 | #! /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 Drake | 3d5e2c0 | 1998-11-30 22:30:29 +0000 | [diff] [blame] | 5 | # |
| 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 Drake | 6942e57 | 1998-11-24 17:38:49 +0000 | [diff] [blame] | 8 | |
| 9 | if [ "$1" ]; then |
| 10 | exec <"$1" |
| 11 | shift 1 |
| 12 | fi |
| 13 | |
| 14 | if [ "$1" ]; then |
| 15 | exec >"$1" |
| 16 | shift 1 |
| 17 | fi |
| 18 | |
| Fred Drake | 6038f54 | 1999-01-14 21:44:56 +0000 | [diff] [blame] | 19 | sed ' |
| 20 | s|<ABC/>|ABC|g |
| 21 | s|<ASCII/>|ASCII|g |
| 22 | s|<C/>|C|g |
| 23 | s|<Cpp/>|C++|g |
| 24 | s|<EOF/>|EOF|g |
| 25 | s|<LaTeX/>|LaTeX|g |
| 26 | s|<NULL/>|NULL|g |
| 27 | s|<POSIX/>|POSIX|g |
| 28 | s|<UNIX/>|Unix|g |
| 29 | s|<e/>|\\|g |
| Fred Drake | 87dfd3c | 1998-11-30 14:36:26 +0000 | [diff] [blame] | 30 | s|<geq/>|\≥|g |
| Fred Drake | 4c5e533 | 1998-11-25 19:28:02 +0000 | [diff] [blame] | 31 | s|<ldots/>|\&hellip|g |
| Fred Drake | 87dfd3c | 1998-11-30 14:36:26 +0000 | [diff] [blame] | 32 | s|<leq/>|\≤|g |
| Fred Drake | fdfd50f | 1999-01-29 16:29:25 +0000 | [diff] [blame] | 33 | s|<version/>|\&version;|g |
| Fred Drake | 6038f54 | 1999-01-14 21:44:56 +0000 | [diff] [blame] | 34 | s|<ABC>|ABC|g |
| 35 | s|<ASCII>|ASCII|g |
| 36 | s|<C>|C|g |
| 37 | s|<Cpp>|C++|g |
| 38 | s|<EOF>|EOF|g |
| 39 | s|<LaTeX>|LaTeX|g |
| 40 | s|<NULL>|NULL|g |
| 41 | s|<POSIX>|POSIX|g |
| 42 | s|<UNIX>|Unix|g |
| 43 | s|<e>|\\|g |
| Fred Drake | c166331 | 1998-12-10 04:56:00 +0000 | [diff] [blame] | 44 | s|<geq>|\≥|g |
| 45 | s|<ldots>|\&hellip|g |
| 46 | s|<leq>|\≤|g |
| Fred Drake | fdfd50f | 1999-01-29 16:29:25 +0000 | [diff] [blame] | 47 | s|<version>|\&version;|g |
| Fred Drake | 4c5e533 | 1998-11-25 19:28:02 +0000 | [diff] [blame] | 48 | s|---|\—|g |
| Fred Drake | 6942e57 | 1998-11-24 17:38:49 +0000 | [diff] [blame] | 49 | ' || exit $? |