#
# Makefile for font generation under Debian TeX
#
SHELL=/bin/sh

few:
	dvips TeX_fonts ; rm -f TeX_fonts.ps

some:
	dvips TeX_fonts ; rm -f TeX_fonts.ps
	dvips LaTeX_fonts ; rm -f LaTeX_fonts.psi

lots:
	dvips TeX_fonts ; rm -f TeX_fonts.ps
	dvips LaTeX_fonts ; rm -f LaTeX_fonts.ps
	dvips SliTeX_fonts ; rm -f SliTeX_fonts.ps

