]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
add a makefile
authorMatthias Maier <tamiko@43-1.org>
Fri, 10 May 2019 14:53:59 +0000 (09:53 -0500)
committerMatthias Maier <tamiko@43-1.org>
Fri, 10 May 2019 14:53:59 +0000 (09:53 -0500)
9.1/Makefile [new file with mode: 0644]

diff --git a/9.1/Makefile b/9.1/Makefile
new file mode 100644 (file)
index 0000000..a6e8379
--- /dev/null
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.