# Not yet...
# Edrx, 2006jul19
# (find-dn4 "Makefile")
# (find-es "tex" "TEXINPUTS")
# (find-es "lua5" "install-5.0.2")
#
# http://www.math.ucla.edu/~asl/bussproofs.sty
# http://tug.ctan.org/macros/latex/contrib/lkproof/proof.sty
# ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip
# http://www.lua.org/ftp/lua-5.0.3.tar.gz

DOWNLOADS = bussproofs.sty proof.sty diagxy.zip lua-5.0.3.tar.gz
DIAGXY_FILES = diaxydoc.tex diagxy.tex diaxydoc.toc diaxydoc.ind

all: $(DOWNLOADS) diagxy.tex
clean:
	rm -f $(DIAGXY_FILES)
extraclean: clean
	rm -f $(DOWNLOADS)

# Targets for downloading things with wget
# and for extracting files from downloaded ".zip"s.
bussproofs.sty:
	wget http://www.math.ucla.edu/~asl/bussproofs.sty
proof.sty:
	wget http://tug.ctan.org/macros/latex/contrib/lkproof/proof.sty
diagxy.zip:
	wget ftp://ftp.math.mcgill.ca/pub/barr/diagxy.zip
lua-5.0.3.tar.gz:
	wget http://www.lua.org/ftp/lua-5.0.3.tar.gz
	touch -c lua-5.0.3.tar.gz

diagxy.tex: diagxy.zip
	unzip diagxy.zip; touch -c $(DIAGXY_TMPFILES)

# An alternative to wget: use psne'd copies.
# Not everyone would like to use this, but I use psne all the time.
# See: http://angg.twu.net/eev-article.html#local-copies
download-from-snarf:
	cp -v $S/http/www.math.ucla.edu/~asl/bussproofs.sty .
	cp -v $S/http/tug.ctan.org/macros/latex/contrib/lkproof/proof.sty .
	cp -v $S/ftp/ftp.math.mcgill.ca/pub/barr/diagxy.zip .
	cp -v $S/http/www.lua.org/ftp/lua-5.0.3.tar.gz .