Add dev_guide files to the distrib.

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

diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index c8622b809095a6c2c532e8fca44a2b0cc584d1cc..2a9d084f569d163a2ab2f9d511d63fb377733957 100644 (file)
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -216,6 +216,7 @@ set(source_to_pack
   ${DOC_SOURCES}
   ${REF_GUIDE_SOURCES}
   ${USER_GUIDE_SOURCES}
+  ${DEV_GUIDE_SOURCES}
   ${PLATFORMS_EXAMPLES}
   ${README_files}
   ${bin_files}