Bug#896439: gradle-debian-helper points to an invalid java api directory

[Emmanuel Bourg]

Hi Tiago,

I don't think gradle-debian-helper should depend on default-jdk-doc by
default, this is a rather big dependency and it's preferable to keep it
optional to speed up the builds a bit. I think the packages using
gradle-debian-helper should instead depend on default-jdk-doc if they
build a javadoc package. That's what most packages building a javadoc
already do.

As for changing the path to the JDK doc why not, but I don't really
understand the benefit. It seems both URLs are currently in use, with
/usr/share/doc/default-jdk-doc/api being more popular than
/usr/share/doc/default-jdk/api despite the longer path.

Emmanuel Bourg