# dvi2ps font description file for printers 720 dpi 
#
# printer spec
fontdesc	//printer/PS720
# font selection
fontdesc	//vflib
fontdesc	//fonts$kpse/generate
