do not install internal headers into /usr/tools (thanks Debian's lintian for the...

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index e804111..c3d8881 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -95,6 +95,10 @@ set(EXTRA_DIST
        examples/gras/ping/ping.h
        examples/gras/console/ping.h
        examples/gras/mmrpc/mmrpc.h
+
+       tools/gras/gras_stub_generator.h
+       tools/tesh/run_context.h  
+       tools/tesh/tesh.h
 )
 
 set(XBT_RL_SRC 
@@ -421,10 +425,6 @@ set(install_HEADERS
        include/simix/simix.h
        include/simix/datatypes.h
        include/simix/context.h
-       
-       tools/gras/gras_stub_generator.h
-       tools/tesh/run_context.h  
-       tools/tesh/tesh.h
 )
 set(source_of_generated_headers
        include/simgrid_config.h.in