From c4459c8a49f865f33d5eb3c2adc1ebfb3000137c Mon Sep 17 00:00:00 2001
From: Michael Hoffmann <hoffmann@inf.ethz.ch>
Date: Thu, 20 Apr 2006 17:44:44 +0000
Subject: [PATCH] Commented CGAL_MAKEFILE replacement for example/test
 makefiles. (Was not effective, anyway..)

---
 Installation/install_cgal | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/Installation/install_cgal b/Installation/install_cgal
index 151ce5e7fe7..895f633bd3b 100755
--- a/Installation/install_cgal
+++ b/Installation/install_cgal
@@ -4125,17 +4125,17 @@ generatemakefiles()
   fi
   create_include_makefile
 
-  for FILE in `${_ls} "${CGAL_EXAMPLE_DIR}"/*/makefile 2>/dev/null | ${_sed} 's/ //g'`; do
-      FILE="`echo ${FILE} | ${_sed} 's// /g'`"
-      replace_line "${FILE}" CGAL_MAKEFILE "CGAL_MAKEFILE = `multi_escape_special \"${CGAL_MAKEFILE}\"`"
-  done
+#  for FILE in `${_ls} "${CGAL_EXAMPLE_DIR}"/*/makefile 2>/dev/null | ${_sed} 's/ //g'`; do
+#      FILE="`echo ${FILE} | ${_sed} 's// /g'`"
+#      replace_line "${FILE}" CGAL_MAKEFILE "CGAL_MAKEFILE = `multi_escape_special \"${CGAL_MAKEFILE}\"`"
+#  done
 
-  if [ -d "${CGAL_TEST_DIR}" ]; then
-    for FILE in `${_ls} "${CGAL_TEST_DIR}"/*/makefile 2>/dev/null | ${_sed} 's/ //g'`; do
-	FILE="`echo ${FILE} | ${_sed} 's// /g'`"
-	replace_line "${FILE}" CGAL_MAKEFILE "CGAL_MAKEFILE = `multi_escape_special \"${CGAL_MAKEFILE}\"`"
-    done
-  fi
+#  if [ -d "${CGAL_TEST_DIR}" ]; then
+#    for FILE in `${_ls} "${CGAL_TEST_DIR}"/*/makefile 2>/dev/null | ${_sed} 's/ //g'`; do
+#	FILE="`echo ${FILE} | ${_sed} 's// /g'`"
+#	replace_line "${FILE}" CGAL_MAKEFILE "CGAL_MAKEFILE = `multi_escape_special \"${CGAL_MAKEFILE}\"`"
+#    done
+#  fi
 
 }