From 1b72353dbaa11a3bdd107e47e71afcdf3b29c5c1 Mon Sep 17 00:00:00 2001
From: andrew morton <drewish@katherinehouse.com>
Date: Fri, 3 Jul 2015 22:08:41 -0700
Subject: [PATCH] Put release build in its own directory

---
 INSTALL.md | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/INSTALL.md b/INSTALL.md
index a8906f699b6..edaad5c9669 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -27,12 +27,12 @@ make
 
 Here is an example of how to build the library in Release:
 ``` {.bash}
-  > git clone https://github.com/CGAL/cgal.git /path/to/cgal.git
-  > cd /path/to/cgal.git
-  > mkdir -p build/debug
-  > cd build/debug
-  > cmake -DCMAKE_BUILD_TYPE=Release ../..
-  > make
+git clone https://github.com/CGAL/cgal.git /path/to/cgal.git
+cd /path/to/cgal.git
+mkdir -p build/release
+cd build/release
+cmake -DCMAKE_BUILD_TYPE=Release ../..
+make
 ```
 Note that *no installation is required* to use that version of CGAL once it has been compiled.