# Magicpoint Makefile # $Id$ # # generates PS, PDF, and HTML output # # jose nazario jose@cwru.edu 03oct01 FILE=defense all: ps pdf html ps: @echo "Making ps ..." mgp2ps ${FILE}.mgp > ${FILE}.ps pdf: ps @echo "Making PDF from ps ..." ps2pdf ${FILE}.ps html: @echo "Making HTML ..." @mkdir ${FILE}.d mgp -D ${FILE}.d/ ${FILE}.mgp clean: rm -f ${FILE}.ps ${FILE}.pdf *.core rm -rf ${FILE}.d/