From dfefd12ee432e5b0d145934e74bb939ddecfa522 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Mon, 14 Nov 2016 14:09:08 +0100
Subject: Remove README.win until we come up with new instructions.

The recommended way to install Coq under windows is anyway to use the
precompiled installer.
---
 dev/build/windows/makecoq_mingw.sh | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index bfc7ce4dd1..52b158871b 100644
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1029,7 +1029,6 @@ function copy_coq_license {
     install -D plugins/micromega/LICENSE.sos  $PREFIXCOQ/license_readme/coq/LicenseMicromega.txt
     install -D README                         $PREFIXCOQ/license_readme/coq/ReadMe.txt || true
     install -D README.md                      $PREFIXCOQ/license_readme/coq/ReadMe.md || true
-    install -D README.win                     $PREFIXCOQ/license_readme/coq/ReadMeWindows.txt
     install -D README.doc                     $PREFIXCOQ/license_readme/coq/ReadMeDoc.txt
     install -D CHANGES                        $PREFIXCOQ/license_readme/coq/Changes.txt
     install -D INSTALL                        $PREFIXCOQ/license_readme/coq/Install.txt
-- 
cgit v1.2.3