Fix make distcheck

diff --git a/MANIFEST.in b/MANIFEST.in
index 7f350c8..2c41789 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -1779,10 +1779,8 @@ include doc/doxygen/module-index.doc
 include doc/doxygen/module-sd.doc
 include doc/doxygen/module-surf.doc
 include doc/doxygen/module-trace.doc
 include doc/doxygen/module-sd.doc
 include doc/doxygen/module-surf.doc
 include doc/doxygen/module-trace.doc

-include doc/doxygen/module-xbt.doc

 include doc/doxygen/outcomes_vizu.doc
 include doc/doxygen/platform.doc
 include doc/doxygen/outcomes_vizu.doc
 include doc/doxygen/platform.doc

-include doc/doxygen/platform_lua.doc

 include doc/doxygen/uhood.doc
 include doc/doxygen/uhood_arch.doc
 include doc/doxygen/uhood_switch.doc
 include doc/doxygen/uhood.doc
 include doc/doxygen/uhood_arch.doc
 include doc/doxygen/uhood_switch.doc

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index aaa97b2..0168bb8 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -859,11 +859,9 @@ set(DOC_SOURCES
   doc/doxygen/module-sd.doc
   doc/doxygen/module-surf.doc
   doc/doxygen/module-trace.doc
   doc/doxygen/module-sd.doc
   doc/doxygen/module-surf.doc
   doc/doxygen/module-trace.doc

-  doc/doxygen/module-xbt.doc

   doc/doxygen/module-index.doc
   doc/doxygen/outcomes_vizu.doc
   doc/doxygen/platform.doc
   doc/doxygen/module-index.doc
   doc/doxygen/outcomes_vizu.doc
   doc/doxygen/platform.doc

-  doc/doxygen/platform_lua.doc

   doc/doxygen/uhood.doc
   doc/doxygen/uhood_switch.doc
   doc/doxygen/uhood_arch.doc
   doc/doxygen/uhood.doc
   doc/doxygen/uhood_switch.doc
   doc/doxygen/uhood_arch.doc