From ffa86b72d5d861626beda911d52030bbacde0f1f Mon Sep 17 00:00:00 2001
From: Jaron Kent-Dobias <jaron@kent-dobias.com>
Date: Mon, 24 Sep 2018 18:36:57 -0400
Subject: git clean now actually completely cleans

---
 makefile | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'makefile')

diff --git a/makefile b/makefile
index 37670bd..b0b7b8b 100644
--- a/makefile
+++ b/makefile
@@ -12,8 +12,7 @@ ${DOC}.pdf: ${DOC}.tex ${DOC}.bib ${FIGS:%=%.tex}
 	latexmk -pdfdvi $(DOC).tex
 
 clean:
-	rubber --clean $(DOC)
-	rm -f $(DOC).pdf
-	rm -f $(DOC)Notes.bib
-	rm -f ${FIGS:%=%.tex}
+	latexmk -C -f ${DOC}
+	rm -f ${DOC}.bbl ${DOC}Notes.bib
+	rm -f ${FIGS:%=%.tex} ${FIGS:%=%.eps}
 
-- 
cgit v1.2.3-70-g09d2