# to keep track of all the different LaTeX-ing, each separate latex
# command tells us where it comes from

.SUFFIXES:  .aux .bbl .bib .dvi .ps .tex .toc .pdf

TEXIT =/users/dwc3q/bin/tex-it
LATEX =/users/dwc3q/bin/latex
BIBTEX=/users/dwc3q/bin/bibtex
# These options help pdf conversion do a better job with the fonts and
# such
DVIPS=/users/dwc3q/bin/dvips -Ppdf -Z -tletter
# distill doesn't do <=> right, but makes *much smaller* PDF files
PSTOPDF=distill
#PSTOPDF=/usr/cs/contrib/bin/ps2pdf

src= dft-spec

# process the .tex file
#main:   aux $(src).bbl $(src).toc
#	@echo --- final processing of $(src).tex ---
#	$(LATEX) $(src)
dvi:    $(src).dvi
ps:   $(src).ps
pdf:   $(src).pdf

# Split the Z bits into separate EPS files
#zfiles:  
#	splitz $(src).tex z-eps-files
#	make $(src:=.aux)
#$(src).bbl:
#$(src).toc:
    
# pack for distribution
dist:
	tar cf FormalModel.tar $(src).tex *.bib figures/* *.sty
	gzip -9 FormalModel.tar
    
# process the .dvi file
#xdvi:   $(src).dvi
#	xdvi -geometry +0+0 -s 4 -bg white -fg black -expert -hush $(src).dvi &

# create some auxiliary files
#aux:  
#	make $(src:=.aux)
#$(src).bbl:
#$(src).toc:
    
# process the .dvi file
#xdvi:   $(src).dvi
#	xdvi -geometry +0+0 -s 4 -bg white -fg black -expert -hush $(src).dvi &

#ghost:    $(src).ps
#	ghostview -geometry +0+0 -a4 -magstep -2 $(src).ps &

#+----------------------+
#|     suffix rules     |
#+----------------------+
#.bib.bbl:   aux
#	$(BIBTEX) $*
#	@echo --- create references from $< ---
#	$(LATEX) $*
.dvi.ps:
	$(DVIPS) $*
.ps.pdf:
	$(PSTOPDF) $<
.tex.aux:
	@echo --- create .aux file from $< ---
	$(TEXIT) $(LATEX) $*
.tex.dvi:
	@echo --- create .dvi file from $< ---
	$(TEXIT) $(LATEX) $*
#.tex.toc: 
#	@echo --- create .toc file from $< ---
#	$(LATEX) $*

#+-----------------+
#|     cleanup     |
#+-----------------+
clean:  
	rm -f core \#* *~ *.blg *.dvi *.log *.ps *.tmp *.pdf
texclean: clean
	rm -f *.aux *.bbl *.lof *.lot *.toc
realclean:  texclean clean

# ----- end Makefile -----