From 4e886dae911fd9cf88177bea7c877b39f6f3ca0f Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 2 Oct 2007 15:37:41 +0000
Subject: Fix a problem doing 'make clean' under Winodws

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10165 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'configure')

diff --git a/configure b/configure
index 7fef374f2d..e330b80b16 100755
--- a/configure
+++ b/configure
@@ -711,7 +711,7 @@ chmod a-w "$mlconfig_file"
 rm -f "$COQSRC/config/Makefile"
 
 sed -e "s|LOCALINSTALLATION|$local|" \
-    -e "s|COQTOPDIRECTORY|$ESCCOQTOP|" \
+    -e "s|COQSRCDIRECTORY|$COQSRC|" \
     -e "s|COQVERSION|$VERSION|" \
     -e "s|BINDIRDIRECTORY|$ESCBINDIR|" \
     -e "s|COQLIBDIRECTORY|$ESCLIBDIR|" \
-- 
cgit v1.2.3