# 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/