diff --git a/Manual/developer_scripts/cgal_manual b/Manual/developer_scripts/cgal_manual index eaf45b80244..2d2127b919d 100755 --- a/Manual/developer_scripts/cgal_manual +++ b/Manual/developer_scripts/cgal_manual @@ -1641,7 +1641,7 @@ gives the corresponding logfiles. The first column contains a summary logfile for a quick overview.
The tools are currently under development, please report all -problems to Lutz Kettner and Andreas Meyer.
+problems to Andreas Meyer.