[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [platform-help-dev] Feature Request Javadoc url location as a jar / zip
|
Mark, can you be a bit more specific?
Currently you can package any documentation as doc.zip files inside plugins
and the help system automatically extracts them when needed.
Are you refering to the Java tooling support for javadoc location ?
-Dorian
|---------+----------------------------------->
| | "Mark Ayad" |
| | <mark@xxxxxxxxxxxx> |
| | Sent by: |
| | platform-help-dev-admin@|
| | eclipse.org |
| | |
| | |
| | 10/29/2002 12:25 PM |
| | Please respond to |
| | platform-help-dev |
| | |
|---------+----------------------------------->
>-------------------------------------------------------------------------------------------------------------|
| |
| To: "Platform-Help-Dev@xxxxxxxxxxx" <platform-help-dev@xxxxxxxxxxx> |
| cc: |
| Subject: [platform-help-dev] Feature Request Javadoc url location as a jar / zip |
| |
| |
>-------------------------------------------------------------------------------------------------------------|
I think this should be a feature:-
It would be a good idea If you could specify the Javadoc Location for a jar
resource as a url to a .jar or .zip Since some API documentation is very
large and when
compressed takes up a fraction of the space.
Looking at the (current) soucre code for the info-center this would cause
no major
problem.
Mark
