From 1c39c60400a3a93cbf2cafb2985e1226a86f7d09 Mon Sep 17 00:00:00 2001
From: navarro <navarro@caraja.(none)>
Date: Thu, 21 Jun 2012 17:49:08 +0200
Subject: [PATCH 1/1] Remove deleted files from archive.

---
 buildtools/Cmake/DefinePackages.cmake | 1 -
 tools/CMakeLists.txt                  | 5 -----
 2 files changed, 6 deletions(-)

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
-- 
2.20.1