diff options
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 + } +' + |