Fix a bunch of errors on make dist due to the recent documentation cleanup

[simgrid.git] / buildtools / Cmake / Distrib.cmake

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index fd4d4470a0b6fe709a93c0d301244e26f62eb08a..f37a4dbbc249ceaad43020ba8e8c0c54bb188286 100644 (file)
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -207,7 +207,6 @@ set(source_to_pack
   ${DOC_IMG}
   ${DOC_SOURCES}
   ${DOC_TOOLS}
   ${DOC_IMG}
   ${DOC_SOURCES}
   ${DOC_TOOLS}

-  ${USER_GUIDE_SOURCES}

   ${PLATFORMS_EXAMPLES}
   ${README_files}
   ${bin_files}
   ${PLATFORMS_EXAMPLES}
   ${README_files}
   ${bin_files}