From be7d0b9c4a37aa75a1420168e17733db5b70a218 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Thu, 19 Apr 2018 17:44:59 +0200
Subject: Fix Makefile clean-all.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3-70-g09d2