From 992223616da23f3a69daaaf8abe14ebe19e24efb Mon Sep 17 00:00:00 2001
From: Andreas Fabri <Andreas.Fabri@geometryfactory.com>
Date: Fri, 7 Nov 2008 07:59:40 +0000
Subject: [PATCH] fix directory and change creation variable name

---
 Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex b/Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex
index 15aee0a429e..99b6e74199d 100644
--- a/Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex
+++ b/Profiling_tools/doc_tex/Miscellany_ref/Profile_counter.tex
@@ -7,7 +7,7 @@
 \ccDefinition
 
 \ccInclude{CGAL/Profile_counter.h}
-\ccCreationVariable{t}
+\ccCreationVariable{pc}
 
 The class \ccRefName\ provides a way to count the number of times a given
 line of code is executed during the execution of a program, and print this
@@ -43,7 +43,7 @@ to \ccc{std::cerr} together with the string.}
 to an empty statement.  Otherwise, it is defined to \ccc{static
 CGAL::Profile_counter tmp(MSG); ++tmp;}.}
 
-\ccIncludeExampleCode{Timer/Profile_counter.cpp}
+\ccIncludeExampleCode{Profiling_tools/Profile_counter.cpp}
 
 will print at exit: