diff options
Diffstat (limited to 'systems/unix/tex-fpc/ch.ch/mkini')
-rwxr-xr-x | systems/unix/tex-fpc/ch.ch/mkini | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/systems/unix/tex-fpc/ch.ch/mkini b/systems/unix/tex-fpc/ch.ch/mkini new file mode 100755 index 0000000000..91f7862502 --- /dev/null +++ b/systems/unix/tex-fpc/ch.ch/mkini @@ -0,0 +1,12 @@ +# deactivate initex block to make initex or inimf to make inimf +case $# in +1) tm=$1 ;; +*) tm=tex ;; +esac +ed $tm.ch <<'END' +g/^@x ini/.,/^@z/s/^/ /\ +?^ @x?,.p +w +q +END +test $? = 0 || (echo $0 failed; exit 1) |