1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 4a99215..37bbe4d 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,7 @@ clean-all:
 	+$(MAKE) -C lib clean
 	+$(MAKE) -C src clean-all
 	+$(MAKE) -C test clean-all
-	rm -rf doc/*
+	rm -rf docs/html docs/latex
 
 format:
 	+$(MAKE) -C src format