Bug#903428: javadocs generated by javahelper include jquery

Emmanuel Bourg ebourg at apache.org
Mon Jul 9 22:35:20 BST 2018


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

> We should really aim for the simplest solution. Actually I don't see any
> need to patch the javadoc tool because we could easily solve this at the
> packaging level. Just replace the embedded jquery library with symlinks
> to Debian's system library and let openjdk depend on jquery. Problem solved.

Sounds fine.

Or remove these mostly unused documentation packages we spend too much
time fixing or discussing after each new JDK hiccup ;)



More information about the pkg-java-maintainers mailing list