[Boost-commit] svn:boost r73086 - sandbox/SOC/2011/checks/libs/checks/doc

Subject: [Boost-commit] svn:boost r73086 - sandbox/SOC/2011/checks/libs/checks/doc
From: pierre.talbot.6114_at_[hidden]
Date: 2011-07-13 18:52:47

Author: trademark
Date: 2011-07-13 18:52:47 EDT (Wed, 13 Jul 2011)
New Revision: 73086
URL: http://svn.boost.org/trac/boost/changeset/73086

Log:
Delete .bat

Removed:
   sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_index.bat
   sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_pdf_index.bat
   sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf.bat
   sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf_index.bat

Deleted: sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_index.bat
==============================================================================
--- sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_index.bat	2011-07-13 18:52:47 EDT (Wed, 13 Jul 2011)
+++ (empty file)
@@ -1,16 +0,0 @@
-echo off
-rem Runs bjam jamfile.v2 and pipes the output to named log file,
-rem including the date and time, so that each log file has a unique name,
-rem for example: checks_23-Mar-2010_1751_html.log
-rem The DOS time format is assumed 12:34 and the : separator is not used.
-set t=%time% /T
-set tim=%t:~0,2%%t:~3,2%
-rem pick just hours and minutes.
-rem time may include leading space, like " 915", so remove space.
-set tim=%tim: =%
-i:
-cd \boost-sandbox\SOC\2011\checks\libs\checks\doc
-echo on
-bjam html --enable-index > ChecksDocs_html_index%date%_%tim%.log
-if not ERRORLEVEL 0 (echo Errorlevel is %ERRORLEVEL%) else (echo OK)
-pause
\ No newline at end of file

Deleted: sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_pdf_index.bat
==============================================================================
--- sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_html_pdf_index.bat	2011-07-13 18:52:47 EDT (Wed, 13 Jul 2011)
+++ (empty file)
@@ -1,19 +0,0 @@
-echo off
-rem Runs bjam jamfile.v2 and pipes the output to named log file,
-rem including the date and time, so that each log file has a unique name,
-rem for example: checks_23-Mar-2010_1751_html.log
-rem The DOS time format is assumed 12:34 and the : separator is not used.
-set t=%time% /T
-set tim=%t:~0,2%%t:~3,2%
-rem pick just hours and minutes.
-rem time may include leading space, like " 915", so remove space.
-set tim=%tim: =%
-i:
-cd \boost-sandbox\SOC\2011\checks\libs\checks\doc
-echo on
-bjam html --enable-index > ChecksDocs_html_index%date%_%tim%.log
-if not ERRORLEVEL 0 (echo Errorlevel is %ERRORLEVEL%) else (echo OK)
-bjam pdf --enable-index > ChecksDocs_pdf_index_%date%_%tim%.log
-if not ERRORLEVEL 0 (echo Errorlevel is %ERRORLEVEL%) else (echo OK)
-
-pause
\ No newline at end of file

Deleted: sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf.bat
==============================================================================
--- sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf.bat	2011-07-13 18:52:47 EDT (Wed, 13 Jul 2011)
+++ (empty file)
@@ -1,19 +0,0 @@
-echo off
-rem Runs bjam jamfile.v2 and pipes the output to named log file,
-rem including the date and time, so that each log file has a unique name,
-rem for example: checks_23-Mar-2010_1751_html.log
-rem The DOS time format is assumed 12:34 and the : separator is not used.
-set t=%time% /T
-set tim=%t:~0,2%%t:~3,2%
-rem pick just hours and minutes.
-rem time may include leading space, like " 915", so remove space.
-set tim=%tim: =%
-i:
-cd \boost-sandbox\SOC\2011\checks\libs\checks\doc
-echo on
-bjam pdf > ChecksDocs_pdf_%date%_%tim%.log
-if not ERRORLEVEL 0 (echo Errorlevel is %ERRORLEVEL%) else (echo OK)
-pause
-
-rem Note that you MUST close the previous version of the pdf while building,
-rem unlike the html where you can just reload!
\ No newline at end of file

Deleted: sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf_index.bat
==============================================================================
--- sandbox/SOC/2011/checks/libs/checks/doc/ChecksDocs_pdf_index.bat	2011-07-13 18:52:47 EDT (Wed, 13 Jul 2011)
+++ (empty file)
@@ -1,16 +0,0 @@
-echo off
-rem Runs bjam jamfile.v2 and pipes the output to named log file,
-rem including the date and time, so that each log file has a unique name,
-rem for example: checks_23-Mar-2010_1751_html.log
-rem The DOS time format is assumed 12:34 and the : separator is not used.
-set t=%time% /T
-set tim=%t:~0,2%%t:~3,2%
-rem pick just hours and minutes.
-rem time may include leading space, like " 915", so remove space.
-set tim=%tim: =%
-i:
-cd \boost-sandbox\SOC\2011\checks\libs\checks\doc
-echo on
-bjam pdf --enable-index > ChecksDocs_pdf_index_%date%_%tim%.log
-if not ERRORLEVEL 0 (echo Errorlevel is %ERRORLEVEL%) else (echo OK)
-pause
\ No newline at end of file