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
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