From: Matthias Maier Date: Fri, 10 May 2019 14:53:59 +0000 (-0500) Subject: add a makefile X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=19907478dbe9227e29f9d9848f49f563a69d8ad0;p=release-papers.git add a makefile --- diff --git a/9.1/Makefile b/9.1/Makefile new file mode 100644 index 0000000..a6e8379 --- /dev/null +++ b/9.1/Makefile @@ -0,0 +1,7 @@ +all: latexmk + +latexmk: + latexmk -pdf -f paper + +clean: + rm -f *.fls *.fdb_latexmk *.aux *.log *.dvi *.bbl *.blg *.ilg *.ind *.toc *.idx *.out *.nav *.snm