diff --git a/Maintenance/deb/etch/debian/README.Debian b/Maintenance/deb/etch/debian/README.Debian index 74ab94e8e15..8ecc9adb0cc 100644 --- a/Maintenance/deb/etch/debian/README.Debian +++ b/Maintenance/deb/etch/debian/README.Debian @@ -20,11 +20,11 @@ CGAL_MAKEFILE The CGAL documentation asks you to set the environment variable CGAL_MAKEFILE to the makefile template that was generated during the configuration. This -makefile template is located at /usr/share/cgal/makefile. The examples and +makefile template is located at /usr/share/cgal/cgal.mk. The examples and demos as well as the script cgal_create_makefile have been modified to use -/usr/share/cgal/makefile as default. Therefore, it is *not* necessary to set +/usr/share/cgal/cgal.mk as default. Therefore, it is *not* necessary to set CGAL_MAKEFILE (but it does not hurt). If you want to modify the template, then you should point CGAL_MAKEFILE to the modified copy of the template. - -- Joachim Reichel Mon, 22 May 2006 20:46:24 +0200 + -- Joachim Reichel Thu, 03 May 2007 22:33:05 +0200 diff --git a/Maintenance/deb/sarge/debian/README.Debian b/Maintenance/deb/sarge/debian/README.Debian index 74ab94e8e15..8ecc9adb0cc 100644 --- a/Maintenance/deb/sarge/debian/README.Debian +++ b/Maintenance/deb/sarge/debian/README.Debian @@ -20,11 +20,11 @@ CGAL_MAKEFILE The CGAL documentation asks you to set the environment variable CGAL_MAKEFILE to the makefile template that was generated during the configuration. This -makefile template is located at /usr/share/cgal/makefile. The examples and +makefile template is located at /usr/share/cgal/cgal.mk. The examples and demos as well as the script cgal_create_makefile have been modified to use -/usr/share/cgal/makefile as default. Therefore, it is *not* necessary to set +/usr/share/cgal/cgal.mk as default. Therefore, it is *not* necessary to set CGAL_MAKEFILE (but it does not hurt). If you want to modify the template, then you should point CGAL_MAKEFILE to the modified copy of the template. - -- Joachim Reichel Mon, 22 May 2006 20:46:24 +0200 + -- Joachim Reichel Thu, 03 May 2007 22:33:05 +0200 diff --git a/Maintenance/deb/sid/debian/README.Debian b/Maintenance/deb/sid/debian/README.Debian index 74ab94e8e15..8ecc9adb0cc 100644 --- a/Maintenance/deb/sid/debian/README.Debian +++ b/Maintenance/deb/sid/debian/README.Debian @@ -20,11 +20,11 @@ CGAL_MAKEFILE The CGAL documentation asks you to set the environment variable CGAL_MAKEFILE to the makefile template that was generated during the configuration. This -makefile template is located at /usr/share/cgal/makefile. The examples and +makefile template is located at /usr/share/cgal/cgal.mk. The examples and demos as well as the script cgal_create_makefile have been modified to use -/usr/share/cgal/makefile as default. Therefore, it is *not* necessary to set +/usr/share/cgal/cgal.mk as default. Therefore, it is *not* necessary to set CGAL_MAKEFILE (but it does not hurt). If you want to modify the template, then you should point CGAL_MAKEFILE to the modified copy of the template. - -- Joachim Reichel Mon, 22 May 2006 20:46:24 +0200 + -- Joachim Reichel Thu, 03 May 2007 22:33:05 +0200