Am 21.04.2018 um 19:57 schrieb 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.
By the way since Debian Policy 3.9.7 it is recommended to install additional documentation via -doc packages into /usr/share/doc/pkg and no longer /usr/share/doc/pkg-doc. This is also enforced with debhelper/compat >= 11. If we were consequent then we should use /usr/share/doc/default-jdk/api everywhere. Markus
signature.asc
Description: OpenPGP digital signature
__ 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.
