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