← Back to team overview

openjdk team mailing list archive

Bug#567899: openjdk-6-doc: Shouldn't package-list.gz be package-list?

 

Package: openjdk-6-doc
Version: 6b17~pre3-1

In /usr/share/doc/openjdk-6-jre-headless/api/ the only package list
that can be found is package-list.gz. Shouldn't it be uncompressed so
that it's easy to make the tool javadoc automatically create links to
it? (Since the classes in other packages inherit from the standard
class library it can be useful to link their javadoc to the one for
the class library)

Sincerely
Sveinung