diff options
Diffstat (limited to 'Binaries/PrepareDafnyZip.bat')
-rw-r--r-- | Binaries/PrepareDafnyZip.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Binaries/PrepareDafnyZip.bat b/Binaries/PrepareDafnyZip.bat index 7d409d6e..a00008c7 100644 --- a/Binaries/PrepareDafnyZip.bat +++ b/Binaries/PrepareDafnyZip.bat @@ -41,7 +41,7 @@ for %%d in ( ) for %%f in ( Util\emacs\dafny-mode.el - Util\vim\dafny.vim + Util\vim\README.md Util\latex\dafny.sty ) do ( copy ..\%%f %DEST_DIR%\%%f |