Distcheck.

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 231e6ab..23f4446 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/README.md
   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/Tutorial_Model-checking.rst
+
   CITATION.bib
   )