# This file is obsolete! See:
# (find-dn4 "Makefile" "demos")

DEDNAT4=../dednat4.lua

EQFIBS_FILES = eqfibs.metatex demodefs.tex
EDRX_FILES = edrxarrows.tex edrxdefs.tex edrxdednat.tex edrxdnt.tex \
	     edrxglyphs.tex edrxheadfoot.tex edrxmain.tex

EQFIBS_TMPFILES = eqfibs.aux eqfibs.dnt eqfibs.dvi eqfibs.log eqfibs.tex

DOWNLOADED_FILES = bussproofs.sty proof.sty diagxy.zip
DIAGXY_TMPFILES = diaxydoc.tex diagxy.tex diaxydoc.toc diaxydoc.ind
EEV_TMPFILES = ee.tex tmp.tex tmp.dnt tmp.log tmp.aux tmp.dvi

# Demos:

default: eqfibs.dvi

downloads: $(DOWNLOADED_FILES) diagxy.tex
clean: clean_downloads clean_eqfibs
clean_downloads:
	rm -fv $(DOWNLOADED_FILES) $(DIAGXY_TMPFILES)

bussproofs.sty:
	wget http://www.math.ucla.edu/~asl/bussproofs.sty
proof.sty:
	wget http://www.ctan.org/tex-archive/macros/latex/contrib/proof/proof.sty
diagxy.zip:
	wget ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip
diagxy.tex: diagxy.zip
	unzip diagxy.zip; touch -c $(DIAGXY_TMPFILES)

eqfibs.dvi: eqfibs.metatex downloads
	$(DEDNAT4) eqfibs.metatex && latex eqfibs.tex
clean_eqfibs:
	rm -fv $(EQFIBS_TMPFILES)


# 2006jul19; not being used yet.

LUA50DIR    ?= ../lua-5.0.3
LUA50BINDIR ?= $(LUA50DIR)/bin
LUA50       ?= $(LUA50BINDIR)/lua

LATEX       ?= TEXINPUTS=../downloads latex
DEDNAT4     ?= $(LUA50) ../dednat4.lua

# (eev "cd ~/dednat4/examples/; make")