diff options
Diffstat (limited to 'docs/xml-docs/makedoc.bat')
| -rwxr-xr-x | docs/xml-docs/makedoc.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/xml-docs/makedoc.bat b/docs/xml-docs/makedoc.bat index eac7a1ac3..45b36ba72 100755 --- a/docs/xml-docs/makedoc.bat +++ b/docs/xml-docs/makedoc.bat @@ -6,7 +6,7 @@ echo ---------------- if "%JAVA_HOME%" == "" goto error -set LOCALCLASSPATH=%JAVA_HOME%\lib\tools.jar;%JAVA_HOME%\lib\classes.zip;..\..\lib\ant.jar;..\..\lib\xml.jar;..\..\lib\w3c.jar;..\..\lib;..\..\build\fop.jar;..\..\lib\stylebook.jar +set LOCALCLASSPATH=%JAVA_HOME%\lib\tools.jar;%JAVA_HOME%\lib\classes.zip;..\..\lib\ant.jar;..\..\lib\xml.jar;..\..\lib\w3c.jar;..\..\lib\buildtools.jar;..\..\build\fop.jar;..\..\lib\stylebook.jar set ANT_HOME=.\lib |