Bug#903428: javadocs generated by javahelper include jquery

2018-08-11 Thread Markus Koschany
Hi tony, Am 11.08.2018 um 20:12 schrieb tony mancill: [...] > Hi Markus, > > I'm glad that you were able to discuss this directly with Matthias, and > thank you for sharing the gist of that conversation. For our sanity, I > will take a look to see if we can get the severity of the lintian > warn

Bug#903428: javadocs generated by javahelper include jquery

2018-08-11 Thread tony mancill
On Sat, Aug 11, 2018 at 10:12:03AM +0200, Markus Koschany wrote: > FTR: I have talked to Matthias Klose (doko) at DebConf18 about the > embedding of jquery into javadoc packages. He pointed me to a similar > discussion in doxygen which also embeds jquery while building doc packages. > > In short h

Bug#903428: javadocs generated by javahelper include jquery

2018-08-11 Thread Markus Koschany
FTR: I have talked to Matthias Klose (doko) at DebConf18 about the embedding of jquery into javadoc packages. He pointed me to a similar discussion in doxygen which also embeds jquery while building doc packages. In short he doesn't consider it to be a worthwhile task because there is a risk of br

Bug#903428: javadocs generated by javahelper include jquery

2018-07-17 Thread Markus Koschany
Hi tony, Am 17.07.2018 um 07:00 schrieb tony mancill: [...] > > Hi Markus, > > Fair enough. I can see the value in providing javadoc (or at least a > way to build the javadoc) for older versions of libraries. > > I think Martin Quinson's suggestion of "shim" jquery package has some > merit.

Bug#903428: javadocs generated by javahelper include jquery

2018-07-16 Thread tony mancill
On Wed, Jul 11, 2018 at 06:35:21PM +0200, Markus Koschany wrote: > Hi tony, > > Am 10.07.2018 um 05:22 schrieb tony mancill: > [...] > > I'm in favor of dropping the -java-doc packages completely and instead > > using our time and effort to improve the state of our runtime libraries, > > toolchain

Bug#903428: javadocs generated by javahelper include jquery

2018-07-11 Thread Markus Koschany
Hi tony, Am 10.07.2018 um 05:22 schrieb tony mancill: [...] > I'm in favor of dropping the -java-doc packages completely and instead > using our time and effort to improve the state of our runtime libraries, > toolchain and application packages. (It would be a different story if > we were develop

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread tony mancill
On Mon, Jul 09, 2018 at 11:41:24PM +0200, Markus Koschany wrote: > 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 co

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Markus Koschany
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

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread 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 libr

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Markus Koschany
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

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread 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 t

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Markus Koschany
Am 09.07.2018 um 23:01 schrieb Emmanuel Bourg: > Le 09/07/2018 à 22:41, Christoph Berg a écrit : > >> Or even better, have javadoc put in the symlink. > > Not a good idea. The javadoc generated would no longer be usable outside > Debian. Developers would no longer be able to generate the javadoc

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Emmanuel Bourg
Le 09/07/2018 à 22:41, Christoph Berg a écrit : > Or even better, have javadoc put in the symlink. Not a good idea. The javadoc generated would no longer be usable outside Debian. Developers would no longer be able to generate the javadoc of their libraries a upload it to a web server. Emmanuel

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Christoph Berg
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 p

Bug#903428: javadocs generated by javahelper include jquery

2018-07-09 Thread Thomas Koch
Package: javahelper Severity: important Tags: newcomer -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 The command jh_build calls javadoc. The output of javadoc contains a copy of jquery which leads to lintian error: https://lintian.debian.org/tags/embedded-javascript-library.html One solution w