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