diff options
| author | fotis <fotis@unknown> | 2000-06-23 13:22:14 +0000 |
|---|---|---|
| committer | fotis <fotis@unknown> | 2000-06-23 13:22:14 +0000 |
| commit | 5640182f5421a248b4ea429899bf990d00c2d74d (patch) | |
| tree | f0a511c239624f3c406988dc258b5367536b4628 /docs/xml-docs/makedoc.sh | |
| parent | 750e4c2fc7a6f96a8c3e17b3ca59b696feb4f802 (diff) | |
| download | xmlgraphics-fop-5640182f5421a248b4ea429899bf990d00c2d74d.tar.gz xmlgraphics-fop-5640182f5421a248b4ea429899bf990d00c2d74d.zip | |
add: script files to start conversion of documentation into pdf file
git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@193438 13f79535-47bb-0310-9956-ffa450edef68
Diffstat (limited to 'docs/xml-docs/makedoc.sh')
| -rwxr-xr-x | docs/xml-docs/makedoc.sh | 25 |
1 files changed, 25 insertions, 0 deletions
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 $* |