diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-06-23 14:45:08 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-06-23 14:45:08 +0200 |
| commit | 7b34ac60d03def188e9a866eaa67892fed205899 (patch) | |
| tree | 6682657e5ed747a3516e71963fc1def7a98f46af /Makefile | |
| parent | 9a82e69bbac23e5adee9c9f4bc9511519ade6212 (diff) | |
Added Makefile, corrected template link
A Makefile was added to help manage the files and processes in this
repo.
Also, one of the "template" links was pointing to the old reproduction
pipeline repository. This is fixed now.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..4c9b8d3 --- /dev/null +++ b/Makefile @@ -0,0 +1,13 @@ +# PDF slides: +reproducible-paper.pdf: + # We'll run pdflatex two times so the page numbers and + # internal links also work. + pdflatex reproducible-paper + pdflatex reproducible-paper + +# Clean all extra files +.PHONY: clean-latex clean +clean-latex: + rm -f *.aux *.log *.nav *.out *.snm *.toc +clean: clean-latex + rm *.pdf |