Add documentation to distrib.

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index ed0ef31..2486157 100755 (executable)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -322,10 +322,12 @@ set(LUA_SRC
        src/simix/smx_context_lua.c
        src/bindings/lua/simgrid_lua.c
        src/bindings/lua/lua_stub_generator.c
+       src/bindings/lua/lua_console.c
 )
 
 set(TRACING_SRC
        src/instr/instr_config.c
+       src/instr/categories.c
        src/instr/interface.c
        src/instr/general.c
        src/instr/paje.c
@@ -335,7 +337,9 @@ set(TRACING_SRC
        src/instr/smx_instr.c
        src/instr/surf_instr.c
        src/instr/smpi_instr.c
+       src/instr/sd_instr.c
        src/instr/variables_instr.c
+       src/instr/resource_utilization.c
        src/instr/private.h
 )
 
@@ -745,10 +749,6 @@ set(bin_files
 tools/MSG_visualization/colorize.pl
 )
 
-file(GLOB_RECURSE doc_files
-"doc/html/*"
-)
-
 # This is the complete lise of what will be added to the source archive
 set(source_to_pack     
        ${XBT_RL_SRC}
@@ -779,5 +779,4 @@ set(source_to_pack
        ${EXTRA_DIST}
        ${CMAKE_SOURCE_FILES}
        ${bin_files}
-       ${doc_files}
 )