From e092afcdc900623a07389cc5c0afa1d95f76fb94 Mon Sep 17 00:00:00 2001
From: aviau <alexandre@alexandreviau.net>
Date: Wed, 1 Jun 2016 15:03:03 -0400
Subject: [PATCH] Makefile: clean the right docs directory

The Makefile no longer uses `docs/Makefile` to build
the docs, so we shouldn't use it to clean them. This
patch updates the clean target to remove the right
directory.

Change-Id: I6746f338ddeb5c5a316b4df158d399574b5d0b8a
Tuleap: #749
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 1b679c45..33a61da1 100644
--- a/Makefile
+++ b/Makefile
@@ -8,4 +8,4 @@ env:
 
 clean:
 	rm -rf env
-	make -C docs clean
+	rm -rf docs/build
-- 
GitLab