tools/release/snapshot_download_docs.bat

   1 @echo off
   2 rem  Download and unpack boost-release-docs.7z
   3
   4 rem  Copyright 2008 Beman Dawes
   5
   6 rem  Distributed under the Boost Software License, Version 1.0.
   7 rem  See http://www.boost.org/LICENSE_1_0.txt
   8
   9 echo Downloading docs subdirectory...
  10
  11 echo Deleting old files and directories ...
  12 del boost-docs.7z 2>nul
  13 del boost-release-docs.7z 2>nul
  14 rmdir /s /q docs_temp 2>nul
  15 mkdir docs_temp
  16
  17 echo Creating ftp script ...
  18 rem user.txt must be a single line: user userid password
  19 rem where "userid" and "password" are replace with the appropriate values
  20 copy user.txt download_docs.ftp
  21 echo binary >>download_docs.ftp
  22 echo get boost-release-docs.7z >>download_docs.ftp
  23 echo bye >>download_docs.ftp
  24
  25 echo Running ftp script ...
  26 ftp -d -n -i -s:download_docs.ftp boost.cowic.de
  27
  28 echo Unpacking 7z file ...
  29 7z x -y -odocs_temp boost-release-docs.7z
  30
  31 echo Download and unpack boost-release-docs.7z complete!