diff options
| author | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
|---|---|---|
| committer | Charles.Forsyth <devnull@localhost> | 2006-12-22 20:52:35 +0000 |
| commit | 46439007cf417cbd9ac8049bb4122c890097a0fa (patch) | |
| tree | 6fdb25e5f3a2b6d5657eb23b35774b631d4d97e4 /doc/limbo/limbo.rc | |
| parent | 37da2899f40661e3e9631e497da8dc59b971cbd0 (diff) | |
20060303-partial
Diffstat (limited to 'doc/limbo/limbo.rc')
| -rwxr-xr-x | doc/limbo/limbo.rc | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/doc/limbo/limbo.rc b/doc/limbo/limbo.rc new file mode 100755 index 00000000..ac21ad91 --- /dev/null +++ b/doc/limbo/limbo.rc @@ -0,0 +1,20 @@ +#!/bin/rc +cat limbo.ms synsum | awk 'BEGIN { inside = 0 } + + { if ($1==".s1") { + inside = 1; + } + if ($1==".s2") { + inside = 0; + } + if (inside) { + gsub(/C/, "\\f(CW") + gsub(/ID/, "@D") + gsub(/I/, "\\fI") + gsub(/@D/, "ID") + gsub(/O/, "\\fI\\s-3\\v''+2p''opt\\v''-2p''\\s+3") + } + print $0 + } +' + |