#
# $Id: Makefile,v 1.4 2001/01/16 09:44:49 rmiya Exp $
#
# Makefile for documents
#

DOC = document

all: doc 

doc: $(DOC).dvi $(DOC).ps.gz

$(DOC).ps.gz:  $(DOC).dvi
	dvips -o $(DOC).ps $(DOC).dvi
	gzip -f $(DOC).ps

$(DOC).dvi: $(DOC).tex
	platex $(DOC).tex
	platex $(DOC).tex

install: $(DOC).ps.gz
	gunzip -c $(DOC).ps.gz > $(DOC).ps
	if [ ! -e $(DESTOTHERDIR) -o ! -d $(DESTOTHERDIR) ]; then \
		mkdir $(DESTOTHERDIR);\
	fi
	install -m 644 document.ps $(DESTOTHERDIR)

clean:
	rm -f *~ *.aux *.log *.pbm #$(DOC).dvi $(DOC).ps.gz

