Distcheck.

[simgrid.git] / tools / cmake / DefinePackages.cmake

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 231e6ab304b259a35eca469042cdd9dd6e5d67b2..23f44469bd0dd570c0891b1a739d122e8f0ce128 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -868,6 +868,7 @@ set(DOC_SOURCES
   docs/manpages/tesh.pod
 
   docs/Build.sh
   docs/manpages/tesh.pod
 
   docs/Build.sh

+  docs/README.md

   docs/bin/extract_logs_hierarchy.pl
   docs/requirements.txt
   docs/source/conf.py
   docs/bin/extract_logs_hierarchy.pl
   docs/requirements.txt
   docs/source/conf.py


@@ -950,6 +951,8 @@ set(DOC_SOURCES
   docs/source/tuto_smpi/gemm_mpi.cpp
   docs/source/tuto_smpi/roundtrip.c
 
   docs/source/tuto_smpi/gemm_mpi.cpp
   docs/source/tuto_smpi/roundtrip.c
 

+  docs/source/Tutorial_Model-checking.rst
+

   CITATION.bib
   )
 
   CITATION.bib
   )