diff options
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" |