From cdf14fa9adc3772eef481f5cc62d9add86f07a22 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 14 Sep 2006 13:27:08 +0000
Subject: Compilation de Coq sous Windows

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

diff --git a/config/Makefile.template b/config/Makefile.template
index 4e592e6e6d..5310aec947 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -102,7 +102,7 @@ EXE=EXECUTEEXTENSION
 MKDIR=mkdir -p
 
 # where to put the coqdoc.sty style file
-COQDOCDIR=COQDOCDIRECTORY
+COQDOCDIR="COQDOCDIRECTORY"
 
 # command to update TeX' kpathsea database
 #MKTEXLSR=MKTEXLSRCOMMAND
-- 
cgit v1.2.3