From 5ac5791402a9f0d5277957149f99a4ce2f2d3ce8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 29 Jul 2015 10:52:00 +0200
Subject: fix path of Makefile.coq-makefile

---
 mathcomp/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/Makefile b/mathcomp/Makefile
index 120c127..03ad872 100644
--- a/mathcomp/Makefile
+++ b/mathcomp/Makefile
@@ -7,7 +7,7 @@ endif
 # this sets variable V
 include ssreflect/Makefile.detect-coq-version
 # this defined coqmakefile
-include Makefile.coq-makefile
+include ssreflect/Makefile.coq-makefile
 
 ifeq "$V" "v8.4"
 COQDEP=../etc/utils/ssrcoqdep
-- 
cgit v1.2.3