@echo off
rem  Download and unpack boost-docs.7z

rem  Copyright 2008 Beman Dawes

rem  Distributed under the Boost Software License, Version 1.0.
rem  See http://www.boost.org/LICENSE_1_0.txt

echo Deleting old files and directories ...
del boost-docs.7z 2>nul
rmdir /s /q docs_temp 2>nul 
mkdir docs_temp

echo Creating ftp script ...
rem user.txt must be a single line: user userid password
rem where "userid" and "password" are replace with the appropriate values
copy user.txt download_docs.ftp
echo binary >>download_docs.ftp
echo get boost-docs.7z >>download_docs.ftp
echo bye >>download_docs.ftp

echo Running ftp script ...
ftp -d -n -i -s:download_docs.ftp boost.cowic.de

echo Unpacking 7z file ...
7z x -y -odocs_temp boost-docs.7z

echo Download and unpack boost-docs.7z complete!