diff --git a/update-javadoc.sh b/update-javadoc.sh index aa1015c..eff28d1 100755 --- a/update-javadoc.sh +++ b/update-javadoc.sh @@ -2,7 +2,7 @@ # Push javadoc files to a website hosted by github . # Before executing this script, generate the javadoc files into build/docs/javadoc/. git checkout master || exit $? -javadoc -d build/javadoc -sourcepath src purejavahidapi +javadoc -d build/javadoc -sourcepath src purejavahidapi || exit $? git checkout gh-pages || exit $? # Clear out the old files: rm -rf javadoc/*