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