From f11c3fb70900e759fa1336f8be4673c9a1b0711d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 12 May 2006 18:11:30 +0000
Subject: [PATCH] Change

---
 Robust/src/README | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Robust/src/README b/Robust/src/README
index 02285be2..e1ebfaee 100644
--- a/Robust/src/README
+++ b/Robust/src/README
@@ -31,7 +31,8 @@ III. Using Garbage Collection
 
 2) Make a directory called gc in the Runtime directory & untar the gc into this directory
 
-3) ./configure --prefix=/root/rep/Robust/src/Runtime/; make;make install to build
+3) ./configure --prefix={RUNTIME DIRECTORY}; make;make install to build
+(Modify the prefix to the appropriate path for the runtime directory.
 
 4) Make sure the gc libraries are placed in Runtime/lib and the include files in Runtime/include
 
-- 
2.34.1