distrib/msw/rearchive.bat

   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