From: navarro <navarro@caraja.(none)>
Date: Thu, 21 Jun 2012 15:49:08 +0000 (+0200)
Subject: Remove deleted files from archive.
X-Git-Tag: v3_8~506
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1c39c60400a3a93cbf2cafb2985e1226a86f7d09

Remove deleted files from archive.
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index c6aabeb388..5c2d776078 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -401,7 +401,6 @@ set(headers_to_install
   include/xbt/function_types.h
   include/xbt/asserts.h 
   include/xbt/automaton.h
-  include/xbt/automatonparse_promela.h
   include/xbt/ex.h
   include/xbt/log.h
   include/xbt/module.h
diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index a65f8eeec1..3d08cb95c1 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -8,14 +8,9 @@ set(bin_files
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_unit_extractor.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/simgrid_update_xml.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/xbt_exception_checker
-  ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/doxygen_postprocesser.pl
-  ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/index_php.pl
-  ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/bibtex2html_wrapper.pl
-  ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/bibtex2html_table_count.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/index_create.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/fig2dev_postprocessor.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/xbt_log_extract_hierarchy.pl
-  ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/toc_create.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/colorize.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/trace2fig.pl
   PARENT_SCOPE