diff --git a/Makefile b/Makefile
index 56eb4598..49982715 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+.PHONY: clean docs
+
 # A Makefile for commands I run frequently:
 
 clean: