On Tue, Oct 01, 2002 at 02:01:56PM +0200, E.L. Willighagen wrote: > What about splitting those libs into lib*-java and lib*-doc ? The former > would then go into main, and the doc into contrib?
Yes, that would be the way to go if there's no free javadoc but this means additional work for the maintainers (and FTP admins). -- Stefan Gybas -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
