From 25829dc9295bf70044f3bb3c46e6c253ed378fe1 Mon Sep 17 00:00:00 2001
From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Wed, 17 Feb 2016 17:16:56 +0100
Subject: [PATCH] fix distcheck

---
 tools/cmake/Distrib.cmake | 2 --
 1 file changed, 2 deletions(-)

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index 19f1675a51..8f5338d9cc 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -6,8 +6,6 @@
 file(MAKE_DIRECTORY ${CMAKE_HOME_DIRECTORY}/doc/html/)
 install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/html/"
   DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/simgrid/html/)
-install(DIRECTORY "${CMAKE_HOME_DIRECTORY}/doc/HelloWorld/"
-  DESTINATION $ENV{DESTDIR}${CMAKE_INSTALL_PREFIX}/doc/simgrid/HelloWorld/)
 
 # binaries
 if(enable_smpi)
-- 
2.20.1