diff --git a/Makefile b/Makefile index a7ef66331c4ee4965eb772d33ef61d5f82eeb4e4..efcb217e9853c39e614cdc4a6ed12b2b7cddec4b 100644 --- a/Makefile +++ b/Makefile @@ -17,9 +17,11 @@ ${SAGETEXSCRIPT}: ${TEXFILES} filtered_sage.txt filtered_sage.txt: ${MAINTEXFILE} filter_sage.sed ./filter_sage.sed ${MAINTEXFILE} > $@ -.PHONY: clean +.PHONY: clean nosage clean: rm -rf **/__pycache__ latexmk -C git clean -xf || echo no git repo to use for cleaning +nosage: + latexmk