Bug#903428: javadocs generated by javahelper include jquery

[Emmanuel Bourg]

Le 09/07/2018 à 23:14, Markus Koschany a écrit :

> I believe the use case of viewing javadoc outside of a Debian
> system is negligible and we should just symlink jquery.

Viewing an API documentation from a lib*-java-doc package outside of a
Debian system is indeed a negligible use case. But if the javadoc tool
was to be patched to link any javadoc generated with the system jquery,
this would render our openjdk package unfit for many development scenarios.

If the jquery substitution is implemented directly in the javadoc tool
it must be limited to documentation aimed at lib*-java-doc packages
(either with an extra parameter passed by the helpers, or by detecting a
debian specific environment variable, like DEB_BUILD_ARCH).

Emmanuel Bourg