Re: javadoc: error - Error fetching URL: file:/usr/share/doc/default-jdk/api/
On Wed, Jun 13, 2018 at 10:54:05PM +0200, Emmanuel Bourg wrote:
> Control: tags -1 + help
> Le 13/06/2018 à 22:42, Adrian Bunk a écrit :
> > Control: reopen -1
> > On Thu, May 17, 2018 at 09:39:07AM +0000, Debian Bug Tracking System wrote:
> > https://buildd.debian.org/status/fetch.php?pkg=libgpars-groovy-java&arch=all&ver=1.2.1-8&stamp=1526551079&raw=0
> > javadoc: error - Error fetching URL: file:/usr/share/doc/default-jdk/api/
> > default-jdk-doc ships /usr/share/doc/default-jdk-doc/api/ but not the
> > non-doc location javadoc tries.
> Hum I don't understand these errors. /usr/share/doc/default-jdk
> redirects to /usr/share/doc/default-jre, which redirects to
> /usr/share/doc/default-jre-headless which contains an api symlink
> redirecting to /usr/share/doc/openjdk-10-doc/api, which redirects to
> /usr/share/doc/openjdk-10-jre-headless/api which eventually contains the
> So the /usr/share/doc/default-jdk/api/ path that has been used for years
> is still valid.
The /usr/share/doc/default-jdk symlink is shipped in the default-jdk
package that is not installed by the build dependencies of
> Emmanuel Bourg
"Is there not promise of rain?" Ling Tan asked suddenly out
of the darkness. There had been need of rain for many days.
"Only a promise," Lao Er said.
Pearl S. Buck - Dragon Seed