#!/bin/csh -f
echo "#################################################"
echo "# Pretty printing rules generated automagically"
echo "# on `date` by `whoami`"
echo "# using joke's *mkpt* csh script..."
echo "# Now just type in: *make pretty*"
echo "#################################################"
echo "DVIS = \"
foreach i ($argv)
	if ("$i" != "$argv[$#argv]") then
		echo "	$i.dvi	\"
	else
		echo "	$i.dvi"
	endif
end
echo ""
echo "SimpleDviTarget(pretty)"
foreach i ($argv)
	echo "MakeDviFromSrc($i)"
end
