diff options
Diffstat (limited to 'tools/release/snapshot_download_docs.bat')
-rw-r--r-- | tools/release/snapshot_download_docs.bat | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/tools/release/snapshot_download_docs.bat b/tools/release/snapshot_download_docs.bat deleted file mode 100644 index 5bdae2b5a..000000000 --- a/tools/release/snapshot_download_docs.bat +++ /dev/null @@ -1,31 +0,0 @@ -@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!
\ No newline at end of file |