diff --git a/deliver_sdk.sh b/deliver_sdk.sh index 39d708c6f..b5e2dbb04 100755 --- a/deliver_sdk.sh +++ b/deliver_sdk.sh @@ -154,10 +154,14 @@ rm -rf $DBASE DBASE="liblinphone-android-javadoc" D="../$DBASE.zip" +if grep -r "javadoc.dir" local.properties +then + echo "javadoc.dir already defined" +else + echo "javadoc.dir=$DBASE" >> local.properties +fi + echo "Generating javadoc to $D" -cat >> local.properties <