Bug#898902: javadoc: error - Error fetching URL: file:/usr/share/doc/default-jdk/api/

[Adrian Bunk]

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
> javadoc.
> 
> 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 
libgpars-groovy-java.

> Emmanuel Bourg

cu
Adrian

-- 

       "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