diff options
| author | Enrico | 2017-10-19 18:22:48 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-19 18:22:48 +0200 |
| commit | 76387e0ca14b449a75467334a3efa2730f471b2f (patch) | |
| tree | 44fe2d45ace3a0cb5ac48ec5ff5098dcd49fb06a /etc | |
| parent | 5466772ab7a59081aed4bcf990bef74e9bd48965 (diff) | |
No more `cm*` files in the installer!
Since they are all in Coq!
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/win-installer.nsi | 2 |
1 files changed, 0 insertions, 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" |