From 76387e0ca14b449a75467334a3efa2730f471b2f Mon Sep 17 00:00:00 2001
From: Enrico
Date: Thu, 19 Oct 2017 18:22:48 +0200
Subject: No more `cm*` files in the installer!

Since they are all in Coq!---
 etc/win-installer.nsi | 2 --
 1 file changed, 2 deletions(-)

diff --git a/etc/win-installer.nsi b/etc/win-installer.nsi
index 7b08705..b90dd6b 100755
--- a/etc/win-installer.nsi
+++ b/etc/win-installer.nsi
@@ -61,8 +61,6 @@ Section "Ssreflect and MathComp" Sec
   File /r ${SRC}\*.vo
   File /r ${SRC}\*.v
   File /r ${SRC}\*.glob
-  File /r ${SRC}\*.cmxs
-  File /r ${SRC}\*.cmi
 
   CreateDirectory "$SMPROGRAMS\Coq"
 
-- 
cgit v1.2.3