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

[Emmanuel Bourg <ebourg@apache.org>]

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.

I wonder if this is a regression in the javadoc tool which would no
longer be able to follow symlinks.

Emmanuel Bourg