From dede0a34040e98b13d44cfe19fbd335cd4f03383 Mon Sep 17 00:00:00 2001 From: Joachim Reichel Date: Thu, 3 May 2007 20:35:15 +0000 Subject: [PATCH] s@/usr/share/cgal/makefile@/usr/share/cgal/cgal.mk@ --- Maintenance/deb/etch/debian/README.Debian | 6 +++--- Maintenance/deb/sarge/debian/README.Debian | 6 +++--- Maintenance/deb/sid/debian/README.Debian | 6 +++--- 3 files changed, 9 insertions(+), 9 deletions(-) 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