Re: Thomas Koch 2018-07-09 <153116570013.52934.7173586082571911770.report...@thk1.roam.corp.google.com> > One solution would be if javahelper would strip the embedded jquery library > and replace it with a symlink to the version from the jquery debian package > and add a dependency on the jquery package to the -doc package. > > The problem is that we'd need to rebuild all javadoc packages if the jquery > package gets updated in an incompatible way.
The problem would be even bigger if people did the transformation manually and then jquery broke. If the symlinks are handled by javahandler, a binNMU would take of everything, without manual intervention. > Therefor it would be better if javadoc had an option to build the docs without > jquery, but I have not found such an option. What does javadoc need jquery for > in a world with HTML5? Or even better, have javadoc put in the symlink. Christoph __ This is the maintainer address of Debian's Java team <https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.
