[trace] renaming source file to reflect its speciality

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

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index b15345e..828af03 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -341,8 +341,10 @@ set(TRACING_SRC
        src/instr/instr_routing.c
        src/instr/instr_config.c
        src/instr/instr_interface.c
-       src/instr/instr_paje.c
        src/instr/instr_paje_trace.c
+       src/instr/instr_paje_types.c
+       src/instr/instr_paje_values.c
+       src/instr/instr_paje_containers.c
        src/instr/instr_msg_task.c
        src/instr/instr_msg_process.c
        src/instr/instr_surf.c
@@ -569,7 +571,7 @@ file(GLOB_RECURSE examples_to_install_in_doc
 
     
 set(DOC_SOURCES
-       doc/installSimgrid.doc
+       doc/install.doc
        doc/bindings.doc
        doc/options.doc
        doc/use.doc