From b88c3336cdde22ccdea76fbfb673d081ecab28ff Mon Sep 17 00:00:00 2001
From: Jean-Paul Chaput <Jean-Paul.Chaput@lip6.fr>
Date: Thu, 12 Jul 2018 10:02:02 +0200
Subject: [PATCH] No longer build doc in top Makefile as it is already build.

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 92fbcec1..8ccdbbb5 100644
--- a/Makefile
+++ b/Makefile
@@ -56,7 +56,6 @@ check_dir:
 
 install: check_dir
 	@./bootstrap/ccb.py $(DEVTOOLSET_OPTION) --project=support --project=coriolis --make="$(SMP_FLAGS) install"
-	@./bootstrap/ccb.py $(DEVTOOLSET_OPTION) --project=support --project=coriolis --make="-j1 install" --doc
 	@echo "";                                                                             \
 	 echo "============================================================================"; \
 	 echo "Coriolis has been successfully built";                                         \