diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-24 05:27:58 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-24 05:27:58 +0100 |
| commit | 7c49cdd2ed3a78bd89a9e45f68281541b385c586 (patch) | |
| tree | 0aa52e13b92abac0027831edc480326e0c59d503 /Makefile | |
| parent | a0e1e9956dd72f7fa8f975367cab38664e8d8666 (diff) | |
New filename to fit with the standard name on the webpage
Since the webpage now already has `maneage' in the URL, the filename
also needed to be corrected.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -17,14 +17,14 @@ # PDF slides: -maneage-introduction.pdf: maneage-introduction.tex tex/*.tex +slides-intro.pdf: slides-intro.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 maneage-introduction -# pdflatex maneage-introduction + pdflatex slides-intro +# pdflatex slides-intro |