|
|
@@ -0,0 +1,28 @@
|
|
|
+@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!
|