freebsd-ports/java/jdk13-doc/pkg-descr

Java Development Kit 1.3 Documentation. Contains release information,
API documentation, guides to new features and tool documentation.

The documentation will be installed in ${PREFIX}/share/doc/jdk1.3/

WWW: http://java.sun.com/j2se/1.3/docs/
Move jdk-doc into jdk11-doc and add new jdk{12,13,14}-doc ports. PR: 28183 Submitted by: Ernst de Haan <ernst@jollem.com> Repo-copy by: jdp 2001-10-08 11:17:17 +02:00			`Java Development Kit 1.3 Documentation. Contains release information,`
			`API documentation, guides to new features and tool documentation.`
Update to jdk-1_1_8_003-doc and clean up the port some. PR: ports/27784 Submitted by: Ernst de Haan ernst@jollem.com 2001-05-31 08:09:27 +02:00
Move jdk-doc into jdk11-doc and add new jdk{12,13,14}-doc ports. PR: 28183 Submitted by: Ernst de Haan <ernst@jollem.com> Repo-copy by: jdp 2001-10-08 11:17:17 +02:00			`The documentation will be installed in ${PREFIX}/share/doc/jdk1.3/`
Yet more WWW: additions 1999-05-03 08:13:27 +02:00
Move jdk-doc into jdk11-doc and add new jdk{12,13,14}-doc ports. PR: 28183 Submitted by: Ernst de Haan <ernst@jollem.com> Repo-copy by: jdp 2001-10-08 11:17:17 +02:00			`WWW: http://java.sun.com/j2se/1.3/docs/`