Am 09.07.2018 um 23:26 schrieb 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).
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. Regards, Markus
signature.asc
Description: OpenPGP digital signature
