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

__
This is the maintainer address of Debian's Java team
<https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>.
 Please use
debian-j...@lists.debian.org for discussions and questions.

Reply via email to