diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-12-07 14:18:15 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-12-07 14:18:15 +0000 |
commit | 01578c223361eabdd3e6ef0ed1822fc4918a4fd1 (patch) | |
tree | 798d93cd6e596b013d9c5f6261d06fb669c3b052 /Makefile | |
parent | c02cf6736a15a47937323d88d278890d3f666a0b (diff) |
Better implementation of the make-demo graph, added preamble
Some minor modifications were made in the graph showing the
organization of the analysis with Make. Also, a `tex/preamble.tex' was
defined to simplify the main source.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -16,8 +16,7 @@ # along with this Makefile. If not, see <https://www.gnu.org/licenses/>. # PDF slides: -reproducible-paper.pdf: reproducible-paper.tex \ - tex/project-graph.tex tex/git-branch.tex +reproducible-paper.pdf: reproducible-paper.tex tex/*.tex # We'll run pdflatex two times so the page numbers and # internal links also work. if [ -d .git ]; then v=$$(git describe --dirty --always --long); \ |