1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.help / docbook-src / guide / build.bat
1 SET PATH=C:\docbook\tools;%PATH%\r
2 SET PHP_HOME=C:/Programme/apachefriends/xampp/php\r
3 SET XML_CATALOG_FILES=C:\docbook\docbook-xml-4.2\catalog\r
4 SET JAVA_HOME=C:\programme\java\jdk1.5.0\r
5 SET HTMLHELP_HOME=C:\Programme\MVS\HTMLHelp\r
6 REM SET RECODE_HOME=C:/cygwin/usr/bin\r
7 SET RECODE_HOME=C:/programme/gnu/iconv/iconv/util\r
8 SET INPUT_ENCODING=UTF-8\r
9 REM SET OUTPUT_ENCODING=UTF-8\r
10 SET OUTPUT_ENCODING=ISO-8859-1\r
11 \r
12 c:\docbook\ant\bin\ant -l ant.log -v\r