Hi Elliotte, Thanks! I have done so here, I hope I did not get too many things wrong: https://issues.apache.org/jira/browse/MJAVADOC-646
Best, Antonin On 24/03/2020 20:31, Elliotte Rusty Harold wrote: > I suggest filing an RFE in the Jira, and perhaps then sending a PR. > > I actually hit this myself yesterday, and it would have been nice if > the javadoc plugin had found th binary in /usr/bin. > > In general I'm in favor of defense in depth for these sorts of things. > Check as many places as we know about before failing. > > On Sun, Mar 22, 2020 at 7:05 PM Antonin Delpeuch (lists) > <li...@antonin.delpeuch.eu> wrote: >> >> Hi, >> >> tldr: I am wondering if it would make sense for the Javadoc plugin to >> look for the javadoc binary on the $PATH as well. >> >> Running the javadoc plugin on a Debian with OpenJDK 12 fails with the >> error: "Unable to find javadoc command: The environment variable >> JAVA_HOME is not correctly set." >> >> As far as I can tell there is no javadoc binary anywhere in the OpenJDK >> 12 distribution packaged for Debian. But I do have a /usr/bin/javadoc. >> >> So if the javadoc plugin looked for a javadoc binary in the PATH, it >> would work out of the box on Debian with that JDK. >> >> This seems to be an issue many people run into: >> >> https://stackoverflow.com/questions/13961615/unable-to-find-javadoc-command-maven >> >> https://stackoverflow.com/questions/49472783/maven-is-unable-to-find-javadoc-command >> >> Should I do a pull request to also look for the binary in the PATH? >> >> Best wishes, >> >> Antonin >> >> >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org >> For additional commands, e-mail: dev-h...@maven.apache.org >> > > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
