chore: Fix clean make target

hazelgrove · Oct 10, 2023 · bdb4e6f · bdb4e6f
1 parent 587a5e7
commit bdb4e6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -13,6 +13,6 @@ all : formalism.pdf all.agdai
 
 .PHONY : clean
 clean :
-	rm -rf build
+	rm -rf formalism/build
 	rm -f *.pdf
 	rm -f *.agdai