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
|
#!/bin/sh
sed -e '
s/\(\\f[^(]\)\(\\s[0-9]*\)/\2\1/g
s/\(\\f(..\)\(\\s[0-9]*\)/\2\1/g
s/"\([^"]*\)\\fP\([^"]*\)"/"\1\2"/g
s/"\([^"]*\)\\fR\([^"]*\)"/"\1\\rm \2"/g
s/"\([^"]*\)\\fI\([^"]*\)"/"\1\\it \2"/g
s/"\([^"]*\)\\fB\([^"]*\)"/"\1\\bf \2"/g
s/"\([^"]*\)\\fH\([^"]*\)"/"\1\\sf \2"/g
s/"\([^"]*\)\\fC\([^"]*\)"/"\1\\tt \2"/g
s/"\([^"]*\)\\f(CO\([^"]*\)"/"\1\\tt \2"/g
s/"\([^"]*\)\\f(CW\([^"]*\)"/"\1\\tt \2"/g
s/"\([^"]*\)\\s0\([^"]*\)"/"\1\2"/g
s/"\([^"]*\)\\s[56]\([^0-9][^"]*\)"/"\1\\tiny \2"/g
s/"\([^"]*\)\\s7\([^0-9][^"]*\)"/"\1\\scriptsize \2"/g
s/"\([^"]*\)\\s8\([^0-9][^"]*\)"/"\1\\footnotesize \2"/g
s/"\([^"]*\)\\s9\([^0-9][^"]*\)"/"\1\\small \2"/g
s/"\([^"]*\)\\s1[01]\([^"]*\)"/"\1\\normalsize \2"/g
s/"\([^"]*\)\\s1[23]\([^"]*\)"/"\1\\large \2"/g
s/"\([^"]*\)\\s1[4-6]\([^"]*\)"/"\1\\Large \2"/g
s/"\([^"]*\)\\s1[7-9]\([^"]*\)"/"\1\\LARGE \2"/g
s/"\([^"]*\)\\s2[0-3]\([^"]*\)"/"\1\\huge \2"/g
s/"\([^"]*\)\\s2[4-9]\([^"]*\)"/"\1\\Huge \2"/g
s/"\([^"]*\)\\s3[0-9]\([^"]*\)"/"\1\\Huge \2"/g
' $*
|
