diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/nt/makedist.bat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/admin/nt/makedist.bat b/admin/nt/makedist.bat index d5c9b9aec84..31679829c95 100755 --- a/admin/nt/makedist.bat +++ b/admin/nt/makedist.bat | |||
| @@ -44,7 +44,6 @@ echo Create archive with just the basic binaries and generated files | |||
| 44 | echo (the user needs to unpack the full source distribution for | 44 | echo (the user needs to unpack the full source distribution for |
| 45 | echo everything else) | 45 | echo everything else) |
| 46 | copy %3\README.W32 emacs-%1\README.W32 | 46 | copy %3\README.W32 emacs-%1\README.W32 |
| 47 | copy %3\dump.bat emacs-%1\bin\dump.bat | ||
| 48 | rem Info-ZIP zip seems to be broken on Windows. | 47 | rem Info-ZIP zip seems to be broken on Windows. |
| 49 | rem It always writes to zip.zip and treats the zipfile argument as one | 48 | rem It always writes to zip.zip and treats the zipfile argument as one |
| 50 | rem of the files to go in it. | 49 | rem of the files to go in it. |