From 2065b2abcc4fd42345ab9bfdafd75cf2a5a0889d Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 17 Jul 2017 10:51:45 +0200
Subject: coq-makefile: quote using ' to preserve \ (windows paths)

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index c3aedf538e..c76b68dab3 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -118,7 +118,7 @@ let makefile_template =
   let template = "/tools/CoqMakefile.in" in
   Coq_config.coqlib ^ template
 
-let quote s = if String.contains s ' ' then "\"" ^ s ^ "\"" else s
+let quote s = if String.contains s ' ' then "'" ^ s ^ "'" else s
 
 let generate_makefile oc conf_file local_file args project =
   let s = read_whole_file makefile_template in
-- 
cgit v1.2.3