Give the JavaDoc publish script execute permissions