From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 15 Jun 2019 19:20:04 +0000 (+0200)
Subject: dont copy the old doc in the tarball, even if it still exists on disk
X-Git-Tag: v3.23~33
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/86ef93540872830ed4c8a5737678f6eb528d021d

dont copy the old doc in the tarball, even if it still exists on disk
---

diff --git a/tools/cmake/Distrib.cmake b/tools/cmake/Distrib.cmake
index b6e5531c0a..8cdd973b1f 100644
--- a/tools/cmake/Distrib.cmake
+++ b/tools/cmake/Distrib.cmake
@@ -195,15 +195,6 @@ add_custom_target(dist-dir
   )
 add_dependencies(dist-dir maintainer_files)
 
-if(IS_DIRECTORY ${CMAKE_BINARY_DIR}/doc/html/)
-  add_custom_command(TARGET dist-dir POST_BUILD
-    COMMENT "Copying the documentation"
-    COMMAND ${CMAKE_COMMAND} -E copy_directory ${CMAKE_BINARY_DIR}/doc/html/ ${PROJECT_NAME}-${release_version}/doc/html/
-    COMMAND rm -f `grep -rl " Reference" ${PROJECT_NAME}-${release_version}/doc/html/` # Doxygen, go away
-    COMMAND rm -f `grep -rl "Member List" ${PROJECT_NAME}-${release_version}/doc/html/` # Doxygen, you're getting annoying
-    )
-endif()
-
 set(dirs_in_tarball "")
 set(PYTHON_SOURCES "include MANIFEST.in")
 foreach(file ${source_to_pack})