Bug#903428: javadocs generated by javahelper include jquery

[Christoph Berg]

Re: Thomas Koch 2018-07-09 <153116570013.52934.7173586082571911770.reportbug at 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