From 0dd56bae63cca37e5be8c22ffea8e47d1ef500fc Mon Sep 17 00:00:00 2001
From: Enrico
Date: Wed, 14 Jun 2017 15:17:04 +0200
Subject: No .ml4 file in the standard Make

it is to the caller of coq_makefile to eventually add .ml4 files---
 mathcomp/ssreflect/Make | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/Make b/mathcomp/ssreflect/Make
index ea3d104..4abe49f 100644
--- a/mathcomp/ssreflect/Make
+++ b/mathcomp/ssreflect/Make
@@ -19,7 +19,4 @@ prime.v
 tuple.v
 ssrnotations.v
 
-ssreflect.ml4
-
--I .
 -R . mathcomp.ssreflect
-- 
cgit v1.2.3