From c362d667781a971bb696bd3622b5a50939249863 Mon Sep 17 00:00:00 2001 From: Jaron Kent-Dobias Date: Mon, 24 Sep 2018 18:31:19 -0400 Subject: changed the makefile to use more common tools --- makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'makefile') diff --git a/makefile b/makefile index d9447e9..37670bd 100644 --- a/makefile +++ b/makefile @@ -9,8 +9,7 @@ all: ${DOC}.pdf gnuplot $< > $@ ${DOC}.pdf: ${DOC}.tex ${DOC}.bib ${FIGS:%=%.tex} - rubber $(DOC).tex - dvipdf $(DOC).dvi + latexmk -pdfdvi $(DOC).tex clean: rubber --clean $(DOC) -- cgit v1.2.3-70-g09d2