SOURCES=paper.tex sec0_title.tex defs.tex sec1_intro.tex \
        sec2_model.tex sec3_detection.tex sec4_avoidance.tex \
        sec5_proposal.tex sec6_concl.tex secX_ref.bib Figures/spectrum.eps \
        Figures/active-debugging.eps Figures/avoid-model.eps \
        Figures/design.eps Figures/recovery.eps

paper : paper.ps

paper.ps : $(SOURCES) paper.bbl
	latex paper
	dvips -o paper.ps paper.dvi
	rm paper.dvi

paper.bbl : secX_ref.bib
	latex paper
	bibtex paper
	latex paper

clean:
	rm -f *.dvi  *.aux *.log *.toc *.lof *.blg paper.ps

allclean:
	rm -f *.dvi  *.aux *.log *.toc *.lof *.blg paper.ps *.bbl