From c2695b3db7f05e2bcd2500a8c44b7a81ed966870 Mon Sep 17 00:00:00 2001
From: Raymond Toy <toy.raymond@gmail.com>
Date: Mon, 19 Sep 2011 09:15:23 -0700
Subject: [PATCH] Remove incorrect statement about using a different dir than
 src.

---
 BUILDING | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/BUILDING b/BUILDING
index a636271d8..675cb99e1 100644
--- a/BUILDING
+++ b/BUILDING
@@ -58,8 +58,7 @@ Setting up a build environment
     git clone git://common-lisp.net/projects/cmucl/cmucl.git src
 
     (The "src" is important to keep everything the same with git as it
-    was with cvs.  If you use a different name, adjust the directions
-    below accordingly.)
+    was with cvs.)
 
     Whatever you do, the sources must be in a directory named src
     inside the base directory.  Since the build tools keep all
-- 
GitLab