annotate doc/Makefile @ 2104:7755f00a4fc3

Switch to using OpenSSL PRNG for the one remaining rand()
author Adam Chlipala <adam@chlipala.net>
date Mon, 12 Jan 2015 12:02:54 -0500
parents a6159d0940f0
children
rev   line source
adamc@524 1 PAPERS=manual
adamc@524 2
adamc@524 3 FIGURES=
adamc@524 4
adamc@524 5 all: $(PAPERS:%=%.dvi) $(PAPERS:%=%.ps) $(PAPERS:%=%.pdf)
adamc@524 6
adamc@524 7 %.dvi: %.tex $(FIGURES:%=%.eps)
adamc@524 8 latex $<
adamc@524 9 latex $<
adamc@524 10
adamc@524 11 %.ps: %.dvi
adamc@524 12 dvips $< -o $@
adamc@524 13
adamc@524 14 %.pdf: %.dvi $(FIGURES:%=%.pdf)
adamc@524 15 pdflatex $(<:%.dvi=%)
adamc@524 16
adamc@524 17 %.pdf: %.eps
adamc@524 18 epstopdf $<
adamc@524 19
adamc@524 20 clean:
adamc@524 21 rm -f *.aux *.bbl *.blg *.dvi *.log *.pdf *.ps
adamc@524 22
adamc@524 23 .PHONY: all clean