On Tue, Mar 05, 2019 at 02:02:05PM +0100, Markus Koschany wrote: > ... > Maybe we should change our javadoc policy too. Developers shall not > build-depend on other -doc packages by default and override jh_build if > they wish to link against external packages. This way they have more > fine grained control about their -doc packages and we don't have to > worry about those errors anymore.
Thanks a lot for the verbose explanation. > Here is my proposed patch for jh_build against src:javatools master. Considering that the problem can be solved by fixing javatools instead of libhac-java do you think it is appropriate to reassign the bug to javatools? Otherwise I'd simply deactivate doc generation as Olivier proposed which would be a totally sufficient solution for this package which has very low chances to be used by developers who might read the doc but rather as a dependency for some (not even finished) package. Kind regards Andreas. -- http://fam-tille.de