X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=tools%2Fmake_docs.bat;h=37695a727465ba1fcfa9e7c4a3676d5903e0b05b;hb=d88faec0c6284c315cc288452212c0dc8b853a77;hp=16c6796ee02bfd69e2e4d9bfd383aa2c809fd75c;hpb=7af89089cf22b922f7dcb0c68ab667ddb3e3acf6;p=libcds.git

diff --git a/tools/make_docs.bat b/tools/make_docs.bat
index 16c6796e..37695a72 100644
--- a/tools/make_docs.bat
+++ b/tools/make_docs.bat
@@ -2,6 +2,6 @@ set DOXYPRJ_ROOT=.
 cd ..
 rm -fr doc
 md doc
-%DOXYGEN_PATH%\bin\doxygen doxygen\cds.doxy > tools\doxygen.log 2>&1
+"%DOXYGEN_PATH%\bin\doxygen" doxygen\cds.doxy > tools\doxygen.log 2>&1
 cp -f doxygen/index.html doc/index.html
 cd tools