From cafc3f6d0ec9f57442f3c8ffb90e50ecabde8fcd Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Fri, 22 Aug 2008 16:29:53 +0000
Subject: [PATCH] Rename Timer to Profiling_tools.

---
 Manual/doc_tex/Miscellany/main.tex                        | 4 ++--
 Manual/doc_tex/Miscellany_ref/intro.tex                   | 2 +-
 Manual/doc_tex/Miscellany_ref/main.tex                    | 8 +++-----
 .../Profiling_tools/{Timer.tex => Profiling_tools.tex}    | 0
 Profiling_tools/doc_tex/Profiling_tools/main.tex          | 6 +++---
 5 files changed, 9 insertions(+), 11 deletions(-)
 rename Profiling_tools/doc_tex/Profiling_tools/{Timer.tex => Profiling_tools.tex} (100%)

diff --git a/Manual/doc_tex/Miscellany/main.tex b/Manual/doc_tex/Miscellany/main.tex
index e1f8ec4c2a0..0a2680913d9 100644
--- a/Manual/doc_tex/Miscellany/main.tex
+++ b/Manual/doc_tex/Miscellany/main.tex
@@ -1,10 +1,10 @@
-\ccUserChapter{Timers, Hash Map, Union-find, Modifiers\label{chapterTimer}}
+\ccUserChapter{Profiling tools, Hash Map, Union-find, Modifiers\label{chapterProfiling_tools}}
 \label{chap:Miscellany}
 \ccChapterAuthor{Lutz Kettner \and Sylvain Pion \and Michael Seel}
 
 \minitoc
 
-\input{Timer/Timer.tex}
+\input{Profiling_tools/Profiling_tools.tex}
 
 \input{Hash_map/hash_map.tex}
 
diff --git a/Manual/doc_tex/Miscellany_ref/intro.tex b/Manual/doc_tex/Miscellany_ref/intro.tex
index 53bfd4e7637..a2b178024d9 100644
--- a/Manual/doc_tex/Miscellany_ref/intro.tex
+++ b/Manual/doc_tex/Miscellany_ref/intro.tex
@@ -3,7 +3,7 @@
 %    SYNCRONIZE THIS WITH THE INDIVIDUAL PACKAGES
 %    SYNCRONIZE THIS WITH THE INDIVIDUAL PACKAGES
 %
-\ccRefChapter{Timers, Hash Map, Union-find, Modifiers\label{chap:union_find}}
+\ccRefChapter{Profiling tools, Hash Map, Union-find, Modifiers\label{chap:union_find}}
 \label{chap:hash_map}
 \ccChapterAuthor{Lutz Kettner \and Sylvain Pion \and Michael Seel}
 
diff --git a/Manual/doc_tex/Miscellany_ref/main.tex b/Manual/doc_tex/Miscellany_ref/main.tex
index ff7bc8fcfd1..161e9bcb10d 100644
--- a/Manual/doc_tex/Miscellany_ref/main.tex
+++ b/Manual/doc_tex/Miscellany_ref/main.tex
@@ -7,12 +7,10 @@
 \input{Miscellany_ref/intro.tex}
 
 \input{Hash_map_ref/Handle_hash_function}
-\input{Timer_ref/Memory_sizer}
+\input{Profiling_tools_ref/Memory_sizer}
 \input{Modifier_ref/Modifier_base.tex}
-\input{Timer_ref/Real_timer}
-\input{Timer_ref/Timer}
+\input{Profiling_tools_ref/Real_timer}
+\input{Profiling_tools_ref/Timer}
 \input{Union_find_ref/Union_find}
 \input{Hash_map_ref/Unique_hash_map}
 \input{Hash_map_ref/UniqueHashFunction}
-
-
diff --git a/Profiling_tools/doc_tex/Profiling_tools/Timer.tex b/Profiling_tools/doc_tex/Profiling_tools/Profiling_tools.tex
similarity index 100%
rename from Profiling_tools/doc_tex/Profiling_tools/Timer.tex
rename to Profiling_tools/doc_tex/Profiling_tools/Profiling_tools.tex
diff --git a/Profiling_tools/doc_tex/Profiling_tools/main.tex b/Profiling_tools/doc_tex/Profiling_tools/main.tex
index 92316dbf489..73eff87e260 100644
--- a/Profiling_tools/doc_tex/Profiling_tools/main.tex
+++ b/Profiling_tools/doc_tex/Profiling_tools/main.tex
@@ -1,13 +1,13 @@
 % +------------------------------------------------------------------------+
 % | CGAL Reference Manual:  main.tex
 % +------------------------------------------------------------------------+
-% | Timer for CGAL
+% | Profiling tools for CGAL
 % |
 % | 04.03.1999   Lutz Kettner
 % +------------------------------------------------------------------------+
 
-\ccUserChapter{Benchmark support tools\label{chapterTimer}}
+\ccUserChapter{Benchmark support tools\label{chapterProfiling_tools}}
 \ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
 
-\input{Timer/Timer}
+\input{Profiling_tools/Profiling_tools}
 %% EOF %%