From fe0e355164bf8401ee5f2397584d3e3a04b82240 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 11 Feb 2009 14:39:19 +0000
Subject: Gestion des espaces dans les noms + guess_coqlib sous Windows

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11921 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 install.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'install.sh')

diff --git a/install.sh b/install.sh
index 0719ca778..277222f58 100755
--- a/install.sh
+++ b/install.sh
@@ -1,13 +1,13 @@
 #! /bin/sh
 
-dest=$1
+dest="$1"
 shift
 
 for f; do
   bn=`basename $f`
   dn=`dirname $f`
-  install -d $dest/$dn
-  install -m 644 $f $dest/$dn/$bn
+  install -d "$dest/$dn"
+  install -m 644 $f "$dest/$dn/$bn"
 done
 
 
-- 
cgit v1.2.3