From f0127d555ca0143323854c48587e3b05fb370f9d Mon Sep 17 00:00:00 2001
From: lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 18 Jul 2007 15:13:04 +0000
Subject: Oups... Use shell-variable syntax in shell commands.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10023 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index f5e2ca8da..b3949a033 100644
--- a/INSTALL
+++ b/INSTALL
@@ -53,10 +53,10 @@ WHAT DO YOU NEED ?
 	bzip9 -cd make-3.81.tar.bz2 | tar x
 	#If you don't have bzip2, you can download the gzipped version instead.
         cd make-3.81
-        ./configure --prefix=$(HOME)
+        ./configure --prefix=${HOME}
 	make install
 
-	Then, make sure that $(HOME)/bin is first in your $PATH.
+	Then, make sure that ${HOME}/bin is first in your $PATH.
        )
 
      - a C compiler
-- 
cgit v1.2.3