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
---
 config/Makefile.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 651985488f..4e2cc42b02 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -34,7 +34,7 @@ EMACSLIB="EMACSLIBDIRECTORY"
 EMACS=EMACSCOMMAND
 
 # Path to Coq distribution
-COQTOP=COQTOPDIRECTORY
+COQSRC=COQSRCDIRECTORY
 VERSION=COQVERSION
 
 # Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
-- 
cgit v1.2.3