1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 730d805..dad5988 100644
--- a/Makefile
+++ b/Makefile
@@ -65,3 +65,6 @@ clean:
 .PHONY: clean_docs
 clean_docs:
 	@$(RM) -r docs/output
+
+.PHONY: clean_all
+clean_all: clean clean_docs