diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-07 22:41:54 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-07 22:41:54 +0100 |
| commit | 11696587813b77a79ae72da9b3ea01f602ceb231 (patch) | |
| tree | eca5b9b525748da1d43d7405d669fe59d640f352 /Makefile | |
| parent | 25e1e02c5f86e9321bb5e16c69284ffce5e1e01c (diff) | |
Started working on short slides (10-15 minutes)
The main slides have become too long, so a shorter version is
necessary. With this commit, I am starting work on a short version.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 28 |
1 files changed, 18 insertions, 10 deletions
@@ -16,23 +16,31 @@ +# Clean all extra files +all: final +.PHONY: clean-latex clean all final +clean-latex: + rm -f *.aux *.log *.nav *.out *.snm *.toc git-commit.tex +clean: clean-latex + rm *.pdf + + + + + # PDF slides: -slides-intro.pdf: slides-intro.tex tex/*.tex +slides=slides-intro.pdf slides-intro-short.pdf +$(slides): %.pdf: %.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); \ else v=NO-GIT; fi; \ echo "\newcommand{\gitcommit}{$$v}" > git-commit.tex - pdflatex slides-intro -# pdflatex slides-intro + pdflatex $* +# pdflatex $* - -# Clean all extra files -.PHONY: clean-latex clean -clean-latex: - rm -f *.aux *.log *.nav *.out *.snm *.toc git-commit.tex -clean: clean-latex - rm *.pdf +# Ultimate aim of project. +final: $(slides) |