diff options
| -rwxr-xr-x | docs/xml-docs/makedoc.bat | 1 | ||||
| -rwxr-xr-x | docs/xml-docs/makedoc.sh | 25 |
2 files changed, 25 insertions, 1 deletions
diff --git a/docs/xml-docs/makedoc.bat b/docs/xml-docs/makedoc.bat index d1bff133a..5ac569bea 100755 --- a/docs/xml-docs/makedoc.bat +++ b/docs/xml-docs/makedoc.bat @@ -8,7 +8,6 @@ if "%JAVA_HOME%" == "" goto error set LOCALCLASSPATH=%JAVA_HOME%\lib\tools.jar;%JAVA_HOME%\lib\classes.zip;..\..\lib\ant.jar;..\..\lib\xml.jar;..\..\lib;..\..\build\fop.jar set ANT_HOME=.\lib -echo Building Fop documentation (pdf) ... %JAVA_HOME%\bin\java.exe -Dant.home=%ANT_HOME% -classpath %LOCALCLASSPATH%;%CLASSPATH% org.apache.tools.ant.Main %1 %2 %3 %4 %5 diff --git a/docs/xml-docs/makedoc.sh b/docs/xml-docs/makedoc.sh new file mode 100755 index 000000000..5ea58dc23 --- /dev/null +++ b/docs/xml-docs/makedoc.sh @@ -0,0 +1,25 @@ +#!/bin/sh + +echo +echo "Converting Fop's xml documentation into a pdf file" +echo "----------------" +echo + +if [ "$JAVA_HOME" = "" ] ; then + echo "ERROR: JAVA_HOME not found in your environment." + echo + echo "Please, set the JAVA_HOME variable in your environment to match the" + echo "location of the Java Virtual Machine you want to use." + exit 1 +fi + +LOCALCLASSPATH=$JAVA_HOME/lib/tools.jar:$JAVA_HOME/lib/classes.zip:./lib/ant.jar:./lib/xml.jar:./lib +ANT_HOME=./lib + +echo Building with classpath $CLASSPATH:$LOCALCLASSPATH +echo + +echo Starting Ant... +echo + +$JAVA_HOME/bin/java -Dant.home=$ANT_HOME -classpath "$LOCALCLASSPATH:$CLASSPATH" org.apache.tools.ant.Main $* |