This proposal is for Eclipse, so the documentation in question is
Java-specific, but it could also include Groovy doc, and any other
languages providing structured HTML documentation.

It probaly will be implemented as an Eclipse plugin.
I think that is a great idea, as it would provide a good use-case for
those documentation packages which are quite under-used.
In the same way, we could provide automatically Eclipse libraries for
system-installed jars.

Ludovic

On 07/04/2011 08:43, Paul Wise wrote:
> 
> Wouldn't it be better to have something that is neither Java-specific
> nor Debian-specific?
> 


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]

Reply via email to