blob: 5bdae2b5a8f14dfa9dd22e1147a7d3aa732ab1be (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
@echo off
rem Download and unpack boost-release-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 Downloading docs subdirectory...
echo Deleting old files and directories ...
del boost-docs.7z 2>nul
del boost-release-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-release-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-release-docs.7z
echo Download and unpack boost-release-docs.7z complete!
|
