#!/bin/sh texi=`mktemp` cat > $texi < $texi <