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