nothing:
	@echo "To make the fonts, read the HOWTO file"

clean:
	/bin/rm -f *gf *log *dvi

clobber: clean
	/bin/rm -f *.tfm *pk

