From 127928fa98597b93d261dffb3a28d763303e7354 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Sat, 21 May 2016 00:40:19 +0200
Subject: [PATCH] [CMAKE] Remove index_create.pl from CMakeLists.txt

This file was deleted in a01a7e62056a8ca98b42a0c5c91d0eb84c28c2ef
but was still erroneously listed.
---
 tools/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 6720da96f3..d2e9dcb5c2 100644
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -5,7 +5,6 @@ set(bin_files ${bin_files}    ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
                               ${CMAKE_CURRENT_SOURCE_DIR}/sg_xml_unit_converter.py
                               ${CMAKE_CURRENT_SOURCE_DIR}/simgrid_update_xml.pl
                               ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/fig2dev_postprocessor.pl
-                              ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/index_create.pl
                               ${CMAKE_CURRENT_SOURCE_DIR}/doxygen/xbt_log_extract_hierarchy.pl
                               ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/colorize.pl
                               ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/trace2fig.pl          PARENT_SCOPE)
-- 
2.20.1