diff --git a/doc/em/dispat1.sed b/doc/em/dispat1.sed new file mode 100644 index 00000000..c459211c --- /dev/null +++ b/doc/em/dispat1.sed @@ -0,0 +1,6 @@ +1c\ +.TS\ +r l l l l l l l l. +s/-/\\-/g +/DISPATCH2/,$c\ +.TE diff --git a/doc/em/dispat2.sed b/doc/em/dispat2.sed new file mode 100644 index 00000000..8955df58 --- /dev/null +++ b/doc/em/dispat2.sed @@ -0,0 +1,6 @@ +1,/DISPATCH2/c\ +.TS\ +r l l l l l l l l. +s/-/\\-/g +/DISPATCH3/,$c\ +.TE diff --git a/doc/em/dispat3.sed b/doc/em/dispat3.sed new file mode 100644 index 00000000..881881ef --- /dev/null +++ b/doc/em/dispat3.sed @@ -0,0 +1,6 @@ +1,/DISPATCH3/c\ +.TS\ +r l l l l l l l l. +s/-/\\-/g +$a\ +.TE