From 2c501d8cf113556e55a49a6c64defb5b3f504415 Mon Sep 17 00:00:00 2001 From: Marijn van der Zee Date: Thu, 13 Oct 2011 16:13:22 +0200 Subject: [PATCH] Add command file for building documentation --- doc/reference/Build.cmd | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 doc/reference/Build.cmd diff --git a/doc/reference/Build.cmd b/doc/reference/Build.cmd new file mode 100644 index 00000000..aee9c212 --- /dev/null +++ b/doc/reference/Build.cmd @@ -0,0 +1,20 @@ +@echo off +@echo . +@echo .. +@echo ... +@echo Running reference documentation Build Script, capturing output to buildlog.txt ... +@echo Start Time: %time% +..\..\build-support\tools\nant\bin\nant %1 %2 %3 %4 %5 %6 %7 %8 %9 > buildlog.txt +@echo . +@echo .. +@echo ... +@echo Launching text file viewer to display buildlog.txt contents... +start "ignored but required placeholder window title argument" buildlog.txt +@echo . +@echo .. +@echo ... +@echo ************************ +@echo Build Complete! +@echo ************************ +@echo End Time: %time% +@echo