From 9a893b772872ddbcf65f767dc4eb1a5b0eecea1a Mon Sep 17 00:00:00 2001 From: Agathe Porte Date: Sun, 24 Jun 2018 10:59:24 +0200 Subject: makefile: use auxdir for clean --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5ad3eba..ad1446b 100644 --- a/Makefile +++ b/Makefile @@ -34,4 +34,4 @@ $(PDF): $(PRINC) $(SOURCES) # Remove all the intermediate files clean: @echo Cleaning temporary LaTeX files... - @rm -rf build + @rm -rf $(AUXDIR) -- cgit v1.2.3