3 # General makefile for Latex stuff
5 dvi: sm.dvi rp.dvi ldv.dvi
10 .PRECIOUS: %.tex %.ps %.bbl
12 #%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib)
13 %.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib)
15 @if grep -s "\citation" $*.aux; then bibtex $*; fi
26 $(RM) *.dvi *.ps *.bbl *.blg *.gz
28 maintainer-clean: distclean
30 include $(TOP)/mk/bindist.mk