diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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} |