summaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index 0ec0215..7f43e44 100644
--- a/makefile
+++ b/makefile
@@ -11,4 +11,7 @@ figs/%.tex: figs/%.gplot
clean:
rubber --clean $(DOC)
+ rm -f $(DOC).pdf
+ rm -f $(DOC)Notes.bib
+ rm -f ${FIGS:%=figs/%.tex}