# 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")