1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index dad5309..7d561e1 100644
--- a/Makefile
+++ b/Makefile
@@ -117,3 +117,6 @@ clean_run:
 .PHONY: clean_docs
 clean_docs:
 	$(RM) -r docs/output
+
+.PHONY: clean_all
+clean_all: clean clean_run clean_docs