diff --git a/Makefile b/Makefile
index c786988..53e6aba 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ agda: Everything.agda
 	cp Agda.css public/Agda.css
 
 clean:
-	rm -f src/Everything.agda
+	rm -f Everything.agda
 	rm -rf public/*
 	find . -name '*.agdai' -exec rm \{\} \;