From 7c49cdd2ed3a78bd89a9e45f68281541b385c586 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Fri, 24 Apr 2020 05:27:58 +0100
Subject: 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.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Makefile')

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
 
 
 
-- 
cgit v1.2.1