diff options
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) |