echo '%!' >tex.ps
echo '%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%'>>tex.ps
echo '% Do not edit this prologue file; edit tex.pro instead!'>>tex.ps
sed -e 's/[ 	]*%.*//' -e '/^[ 	]*$/d' -e 's/^[ 	]*//' \
-e 's/[ 	]*{[ 	]*/{/' -e 's/[ 	]*}[ 	]*/}/' tex.pro >> tex.ps