## $Id: Makefile 2572 2012-10-18 14:58:11Z schwicht $

## Makefile for subdirectory doc

all: .dep
	ls -sh

.dep: tcf.pdf mlcf.pdf mpcref.pdf ref.pdf reflection_manual.pdf tutor.pdf cleanup
	touch .dep

tcf.pdf: tcf.tex bussproofs.sty minlog.bib
	pdflatex tcf >> /dev/null
	bibtex -terse tcf
	makeindex -q tcf
	pdflatex tcf >> /dev/null
	pdflatex tcf >> /dev/null

mlcf.pdf: mlcf.tex bussproofs.sty minlog.bib
	pdflatex mlcf >> /dev/null
	bibtex -terse mlcf
	makeindex -q mlcf
	pdflatex mlcf >> /dev/null
	pdflatex mlcf >> /dev/null

mpcref.pdf: mpcref.tex
	pdflatex mpcref.tex >> /dev/null
	pdflatex mpcref.tex >> /dev/null

ref.pdf: ref.tex bussproofs.sty minlog.bib
	pdflatex ref >> /dev/null
	bibtex -terse ref
	makeindex -q ref
	pdflatex ref >> /dev/null
	pdflatex ref >> /dev/null

reflection_manual.pdf: reflection_manual.tex
	pdflatex reflection_manual.tex >> /dev/null
	pdflatex reflection_manual.tex >> /dev/null

tutor.pdf: tutor.tex bussproofs.sty minlog.bib
	pdflatex tutor >> /dev/null
	bibtex -terse tutor
	makeindex -q tutor
	pdflatex tutor >> /dev/null
	pdflatex tutor >> /dev/null

clean: 	cleanup
	rm -rf .dep .dep.*
	rm -rf *.dvi *.pdf *.ps
	rm -rf *~ *%
	ls -sh

cleanup:
	rm -rf *.aux *.log *.blg *.bbl *.idx *.toc *.ind *.ilg *.brf *.out
