tree e59544232d256a5009f92a4276b912350de416c9
parent 97d30a5e0fdc8fbd1be46d7c8326742ec527ebd2
author Manuel Carrasco Moñino <manolo@vaadin.com> 1468405810 +0200
committer Manolo Carrasco Moñino <manolo@vaadin.com> 1468666771 +0000

Check that javadoc exist to avoid empty files.

When running `ant clean dist-dev` javadocs are empty and we should not
install them. Also if the script is run with `bash -e` flag the non zero
exit of the jar command make the entire process fail

Change-Id: I44fbebd9cd63bb484c044d6aea7e50775fe7b27e