]>
Commit | Line | Data |
---|---|---|
e492150d JS |
1 | @echo off |
2 | rem Convert a zip archive to one rooted at a particular directory. | |
3 | rem This script is used by zipdistinno.bat. | |
4 | ||
5 | set archive=%1 | |
6 | set dirname=%2 | |
7 | set changeto=%3 | |
8 | ||
9 | if "%archive%" == "" goto usage | |
10 | if "%dirname%" == "" goto usage | |
11 | if "%1" == "-help" goto usage | |
12 | if "%1" == "--help" goto usage | |
13 | if "%1" == "/?" goto usage | |
14 | ||
15 | pushd %changeto% | |
16 | ||
17 | if direxist %dirname% erase /sxyz %dirname% | |
18 | mkdir %dirname% | |
19 | cd %dirname% | |
20 | unzip32 ..\%archive% | |
21 | cd .. | |
22 | erase %archive% | |
23 | zip32 -r %archive% %dirname%/* | |
24 | ||
25 | popd | |
26 | ||
27 | goto end | |
28 | ||
29 | :usage | |
30 | echo rearchive archive.zip dir changetodir | |
31 | echo E.g. rearchive wxWindows-2.3.3-html.zip wxWindows-2.3.3 c:\wx2dev\wxWindows\deliver | |
32 | ||
33 | :end |