diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-04 03:08:44 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-06-04 03:08:44 +0200 |
| commit | 158dbe2bbad88af34cca5af605c1444e1efb4019 (patch) | |
| tree | e0bdfb697dd019201a973b9fd380f0cfc6514759 /Makefile | |
| parent | 05593d91a4148d2c852e263995a170007dbfb628 (diff) | |
Added Git branching and history graph
A graph was added showing how Git branching and history are used to
verfiy the integrity of the result.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,5 +1,6 @@ # PDF slides: -reproducible-paper.pdf: reproducible-paper.tex tex/plot.tex +reproducible-paper.pdf: reproducible-paper.tex \ + tex/project-graph.tex tex/git-branch.tex # We'll run pdflatex two times so the page numbers and # internal links also work. pdflatex reproducible-paper |