diff --git a/Developers_manual/doc_tex/Developers_manual/tools.tex b/Developers_manual/doc_tex/Developers_manual/tools.tex index 238112f890c..4751e7a57f7 100644 --- a/Developers_manual/doc_tex/Developers_manual/tools.tex +++ b/Developers_manual/doc_tex/Developers_manual/tools.tex @@ -140,7 +140,7 @@ The shell script {{\tt cgal\_create\_cmake\_script}} creates a \cgal\ cmake script, that is, a {\tt CMakeLists.txt} file, in the current working directory for configuring a particular \cgal\ application (such as an example, demo or test). -The cmake script will have commands to make an executable from every {\tt .c} +The cmake script will have commands to make an executable from every {\tt .C} and {\tt .cpp} file which contains the word {\tt main} in the directory. The following options are available to indicate the kind of cmake script to create: