From 983776136b9e4371976304c7e9610b83a1a8efa1 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 4 May 2021 16:27:32 +0200 Subject: [PATCH] Distcheck. --- MANIFEST.in | 2 ++ tools/cmake/DefinePackages.cmake | 3 +++ 2 files changed, 5 insertions(+) diff --git a/MANIFEST.in b/MANIFEST.in index b5d6743bdb..ad54caf0a8 100644 --- 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 231e6ab304..23f44469bd 100644 --- 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 ) -- 2.20.1