#!/bin/sh

echo "%!PS"
cat $1 /afs/athena/user/b/e/bert/ps/prfont.ps
echo "/${2-"TimesRoman"} DoFont"