From b770451a4b3c74db78457951f75505b53d362c12 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Mon, 6 Oct 2014 08:53:23 +0200
Subject: fix wrong escaping in coq_makefile

---
 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 478ae4374..2eede8493 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -195,7 +195,7 @@ let install_include_by_root =
       print "\tfor i in ";
       print_list " " (List.rev_map (Format.sprintf "$(%sINC)") l);
       print "; do \\\n";
-      printf "\t if [ $${$$i%%%%top.cmxs} = $$i ]; then\\\n";
+      printf "\t if [ $${i%%%%top.cmxs} = $$i ]; then\\\n";
       printf "\t  install -m 0644 $$i \"$(DSTROOT)\"$(COQLIBINSTALL)/%s/`basename $$i`; \\\n" d;
       printf "\t else \\\n";
       printf "\t  install -m 0644 $$i \"$(DSTROOT)\"$(COQTOPINSTALL)/`basename $$i`; \\\n";
-- 
cgit v1.2.3