Updated introduction

[ai-gitflashtalk.git] / Makefile

diff --git a/Makefile b/Makefile
index 845a6cf..e05d6fe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,9 @@
 SHELL:=/bin/bash
 
+.PHONY: clean clobber
+
 git.pdf: git.tex preamble.fmt 1.png
        pdflatex $< 
-       pdflatex $< 
 
 preamble.fmt: preamble.tex vc.tex
        pdflatex -ini -jobname="$(basename $<)" "&pdflatex $<\dump"
@@ -15,4 +16,7 @@ vc.tex: .git/logs/HEAD
        git log -1 --format="format:\\gdef\\GITAbrHash{%H}" > $@
 
 clean:
-       $(RM) -v *.{png,eps,aux,fmt,bbl,blg,dvi,log,out,toc,nav,snm,pdf} vc.tex
+       $(RM) -v *.{eps,aux,fmt,bbl,blg,dvi,log,out,toc,nav,snm} vc.tex
+
+clobber: clean
+       $(RM) -v *.{png,pdf}