diff --git a/Makefile b/Makefile
index bec101b..6f8e63d 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,10 @@ build: src/**.agda
 clean:
 	find src -name "*.agdai" -type f -delete
 
-html:
+html: src/**.agda
 	agda --html src/Cat.agda
 
 upload: html
 	scp -r html/ remote11.chalmers.se:www/cat/doc/
+
+.PHONY: upload clean