Am 09.07.2018 um 23:35 schrieb Emmanuel Bourg: > 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 ;)
Yeah, brutal but there is truth in it. I would really like to keep the current level of support for Java documentation but I agree when it becomes too painful and we waste too much time to fix such issues, we should simply drop it. Well, now we have to convince doku to implement this solution, or at least to accept it, without closing the bug report again. Volunteers? :E
signature.asc
Description: OpenPGP digital signature
