summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--makefile7
1 files 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}