1 # General makefile for Latex stuff
3 dvi: sm.dvi rp.dvi ldv.dvi
9 .PRECIOUS: %.tex %.ps %.bbl
11 #%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib)
12 %.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib)
14 @if grep -s "\citation" $*.aux; then bibtex $*; fi
25 $(RM) *.dvi *.ps *.bbl *.blg *.gz
27 maintainer-clean: distclean