]> https://gitweb.dealii.org/ - release-papers.git/commitdiff
I need a Makefile
authorMatthias Maier <tamiko@43-1.org>
Wed, 11 Apr 2018 22:36:25 +0000 (17:36 -0500)
committerMatthias Maier <tamiko@43-1.org>
Wed, 11 Apr 2018 22:36:25 +0000 (17:36 -0500)
9.0/Makefile [new file with mode: 0644]

diff --git a/9.0/Makefile b/9.0/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.