Make tools directory, move some helper scripts to it

[libcds.git] / tools / make_docs.bat

diff --git a/tools/make_docs.bat b/tools/make_docs.bat
new file mode 100644 (file)
index 0000000..48bac73
--- /dev/null
+++ b/tools/make_docs.bat
@@ -0,0 +1,5 @@
+rm -fr doc\r
+md doc\r
+set DOXYPRJ_ROOT=.\r
+%DOXYGEN_PATH%\bin\doxygen ..\doxygen\cds.doxy > ..\doxygen\doxygen.log 2>&1\r
+cp -f ../doxygen/index.html ../doc/index.html\r