diff --git a/Makefile b/Makefile index 9c41b52..5a31e2d 100644 --- a/Makefile +++ b/Makefile @@ -14,3 +14,5 @@ spelling: clean: cd docs && make clean + +.PHONY: clean spelling doc