diff options
Diffstat (limited to 'docs/xml-docs/makedoc.sh')
| -rwxr-xr-x | docs/xml-docs/makedoc.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/xml-docs/makedoc.sh b/docs/xml-docs/makedoc.sh index 887de356b..b17a85276 100755 --- a/docs/xml-docs/makedoc.sh +++ b/docs/xml-docs/makedoc.sh @@ -1,8 +1,6 @@ #!/bin/sh #This file should be executable -echo makedoc doesn't work at the moment. please use the html documentation. -exit 1 echo echo "Converting Fop's xml documentation into a pdf file, creating html docs" @@ -29,4 +27,6 @@ echo $JAVA_HOME/bin/java -Dant.home=$ANT_HOME -classpath "$LOCALCLASSPATH:$CLASSPATH" org.apache.tools.ant.Main $* -$JAVA_HOME/bin/java -classpath "$LOCALCLASSPATH:$CLASSPATH" org.apache.stylebook.StyleBook "targetDirectory=../html-docs/" fop.xml style/ +echo "sorry, production of html documentation is broken at the moment" + +#$JAVA_HOME/bin/java -classpath "$LOCALCLASSPATH:$CLASSPATH" org.apache.stylebook.StyleBook "targetDirectory=../html-docs/" fop.xml style/ |