From 25b3e78d97e7c8971637bf9c6832d05beb978b2d Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 13 Jan 2019 15:35:17 +0100
Subject: [PATCH 1/1] Remove redundant command from distcheck.

It was made useless by commit aaecc7554d5ed8435195f72e892cf0329c7b6df5
(remove simgrid_documentation target from distcheck).
---
 tools/cmake/Distrib.cmake | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 94fdbd6a91..be2bfb99cc 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -323,9 +323,6 @@ add_custom_target(distcheck
   COMMAND ${CMAKE_COMMAND} -E echo "XXX Run tests"
   COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build ctest --output-on-failure -j 4
 
-  COMMAND ${CMAKE_COMMAND} -E echo "XXX Install with documentation"
-  COMMAND ${CMAKE_COMMAND} -E chdir ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}/_build ${CMAKE_MAKE_PROGRAM} install
-
   COMMAND ${CMAKE_COMMAND} -E echo "XXX Remove temp directories"
   COMMAND ${CMAKE_COMMAND} -E remove_directory ${CMAKE_BINARY_TEST_DIR}/${PROJECT_NAME}-${release_version}
   )
-- 
2.20.1