diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 14:09:08 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 14:17:11 +0100 |
| commit | dfefd12ee432e5b0d145934e74bb939ddecfa522 (patch) | |
| tree | 33cf38c68deac1bc08ae98795d8a6af2947cdf4d /dev/build/windows | |
| parent | 36fd5ebe558b8a51c2929077bde9f0460c4313c3 (diff) | |
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.
Diffstat (limited to 'dev/build/windows')
| -rw-r--r-- | dev/build/windows/makecoq_mingw.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh index bfc7ce4dd..52b158871 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 |