home *** CD-ROM | disk | FTP | other *** search
- !/bin/csh -f
- cho "#################################################"
- cho "# Pretty printing rules generated automagically"
- cho "# on `date` by `whoami`"
- cho "# using joke's *mkpt* csh script..."
- cho "# Now just type in: *make pretty*"
- cho "#################################################"
- cho "DVIS = \"
- oreach i ($argv)
- if ("$i" != "$argv[$#argv]") then
- echo " $i.dvi \"
- else
- echo " $i.dvi"
- endif
- nd
- cho ""
- cho "SimpleDviTarget(pretty)"
- oreach i ($argv)
- echo "MakeDviFromSrc($i)"
- nd
-