diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 3 | 
1 files changed, 1 insertions, 2 deletions
| @@ -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) | 
