default: Issue14.pdf

texsources =  Editorial.tex Leon.tex Jeff.tex Heinrich.tex

Issue14.tex : Issue14.lhs $(texsources)
	lhs2TeX Issue14.lhs > Issue14.tex

%.pdf: %.tex force
	pdflatex $<

Leon.tex: Leon.lhs force
	lhs2TeX --poly Leon.lhs -o Leon.tex

Editorial.tex: Editorial.lhs force
	lhs2TeX --poly Editorial.lhs -o Editorial.tex

clean:
	-rm *.log *.aux *.toc *.out *.blg *~

bib : 
	bibtex Jeff
	bibtex Heinrich
	bibtex Leon

final : Issue14.pdf bib
	pdflatex Issue14.tex
	pdflatex Issue14.tex

.PHONY : force