aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile6
-rw-r--r--slides-intro.tex (renamed from maneage-introduction.tex)0
2 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index e1ab87e..48e9b73 100644
--- a/Makefile
+++ b/Makefile
@@ -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
diff --git a/maneage-introduction.tex b/slides-intro.tex
index 33fa428..33fa428 100644
--- a/maneage-introduction.tex
+++ b/slides-intro.tex