Distcheck.

diff --git a/MANIFEST.in b/MANIFEST.in
index b5d6743..ad54caf 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1768,6 +1768,7 @@ include doc/doxygen/uhood.doc
 include doc/doxygen/uhood_arch.doc
 include doc/doxygen/uhood_switch.doc
 include docs/Build.sh
+include docs/README.md
 include docs/bin/extract_logs_hierarchy.pl
 include docs/find-missing.ignore
 include docs/find-missing.py
@@ -1797,6 +1798,7 @@ include docs/source/Start_your_own_project.rst
 include docs/source/The_XBT_toolbox.rst
 include docs/source/Tutorial_Algorithms.rst
 include docs/source/Tutorial_MPI_Applications.rst
+include docs/source/Tutorial_Model-checking.rst
 include docs/source/XML_reference.rst
 include docs/source/_ext/javasphinx/LICENSE
 include docs/source/_ext/javasphinx/MANIFEST.in

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
   )