From ffa86b72d5d861626beda911d52030bbacde0f1f Mon Sep 17 00:00:00 2001 From: Jaron Kent-Dobias 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(-) 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