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} | 
