Add documentation to distrib.

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 335bcb0..2486157 100755 (executable)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -322,6 +322,7 @@ 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
@@ -748,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}
@@ -782,5 +779,4 @@ set(source_to_pack
        ${EXTRA_DIST}
        ${CMAKE_SOURCE_FILES}
        ${bin_files}
-       ${doc_files}
 )