From 7ebc94ec538a0651711bcdad6c769ff1bfa06f6c Mon Sep 17 00:00:00 2001
From: Andreas Fabri <Andreas.Fabri@geometryfactory.com>
Date: Tue, 9 Sep 2008 09:01:24 +0000
Subject: [PATCH] This is not a chapter on its own so there is no need for
 main.tex and intro.tex

---
 .../doc_tex/Profiling_tools/main.tex          | 13 -------------
 .../doc_tex/Profiling_tools_ref/intro.tex     | 19 -------------------
 .../doc_tex/Profiling_tools_ref/main.tex      | 15 ---------------
 3 files changed, 47 deletions(-)
 delete mode 100644 Profiling_tools/doc_tex/Profiling_tools/main.tex
 delete mode 100644 Profiling_tools/doc_tex/Profiling_tools_ref/intro.tex
 delete mode 100644 Profiling_tools/doc_tex/Profiling_tools_ref/main.tex

diff --git a/Profiling_tools/doc_tex/Profiling_tools/main.tex b/Profiling_tools/doc_tex/Profiling_tools/main.tex
deleted file mode 100644
index 73eff87e260..00000000000
--- a/Profiling_tools/doc_tex/Profiling_tools/main.tex
+++ /dev/null
@@ -1,13 +0,0 @@
-% +------------------------------------------------------------------------+
-% | CGAL Reference Manual:  main.tex
-% +------------------------------------------------------------------------+
-% | Profiling tools for CGAL
-% |
-% | 04.03.1999   Lutz Kettner
-% +------------------------------------------------------------------------+
-
-\ccUserChapter{Benchmark support tools\label{chapterProfiling_tools}}
-\ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
-
-\input{Profiling_tools/Profiling_tools}
-%% EOF %%
diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/intro.tex b/Profiling_tools/doc_tex/Profiling_tools_ref/intro.tex
deleted file mode 100644
index 2d895549987..00000000000
--- a/Profiling_tools/doc_tex/Profiling_tools_ref/intro.tex
+++ /dev/null
@@ -1,19 +0,0 @@
-% +------------------------------------------------------------------------+
-% | CGAL Reference Manual:  Timer intro
-% +------------------------------------------------------------------------+
-
-\ccRefChapter{Benchmark Support Tools}
-\ccChapterAuthor{Lutz Kettner \and Sylvain Pion}
-
-
-This chapter decribes classes for measuring user process time and real time
-as well as the memory size.  It also provides a profile counter tool.
-
-
-\section{Classified Reference Pages}
-
-\subsection*{Classes}
-\ccc{CGAL::Timer}\\
-\ccc{CGAL::Real_timer}\\
-\ccc{CGAL::Memory_sizer}\\
-\ccc{CGAL::Profile_counter}\\
diff --git a/Profiling_tools/doc_tex/Profiling_tools_ref/main.tex b/Profiling_tools/doc_tex/Profiling_tools_ref/main.tex
deleted file mode 100644
index e76aa015bc6..00000000000
--- a/Profiling_tools/doc_tex/Profiling_tools_ref/main.tex
+++ /dev/null
@@ -1,15 +0,0 @@
-% +------------------------------------------------------------------------+
-% | Profiling Tools
-% +------------------------------------------------------------------------+
-%
-%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
-%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
-%    SYNCRONIZE THIS WITH THE Manual/doc_tex/Miscellany DIRECTORY
-%
-\input{Profiling_tools_ref/intro}
-\input{Profiling_tools_ref/Timer}
-\input{Profiling_tools_ref/Real_timer}
-\input{Profiling_tools_ref/Memory_sizer}
-\input{Profiling_tools_ref/Profile_counter}
-
-%% EOF %%