[ 12:52 makc  ]

• 516638 java/javahelp/Makefile
• 516638 java/javahelp/distinfo
• 516638 java/javahelp/files
• 516638 java/javahelp/files/jhindexer.in
• 516638 java/javahelp/files/jhsearch.in
• 516638 java/javahelp/pkg-descr
• 516638 java/javahelp/pkg-plist

java/javahelp:
- Update to the final commit from official GitHub repo
- Build from sources, don't bother to install docs and examples
- Add LICENSE
- Update WWW

PR:		241318
Submitted by:	Mikhail Teterin (mi@)

[ 11:51 makc  ]

• 352108 java/javahelp/Makefile
• 352108 java/javahelp/pkg-descr
• 352108 java/jrosetta/Makefile
• 352108 math/jlatexmath/Makefile

java/javahelp:
- Remove dead entry from MASTER_SITES
- Add stage support
- Drop unneeded JAVA_VERSION
- Convert NOPORTDOCS to option
- Amend COMMENT, update WWW

java/jrosetta:
- Add stage support
- Drop JAVA_VERSION

math/jlatexmath:
- Remove dead entry from MASTER_SITES
- Add stage support
- Drop JAVA_VERSION
- Use options helpers

[ 09:49 wen  ]

• 1.223 java/Makefile
• 1.1 java/javahelp/Makefile
• 1.1 java/javahelp/distinfo
• 1.1 java/javahelp/pkg-descr
• 1.1 java/javahelp/pkg-plist

The JavaHelp system is an online help system that developers can use to
add online help to their Java platform applications. The JavaHelp system
is both a JCP specification (JSR 97) and a reference implementation of
that specification. The JavaHelp system open source project includes the
source to the reference implementation.

WWW: https://javahelp.dev.java.net/

PR:             ports/143858
Submitted by:   Rob Farmer <rfarmer@predatorlabs.net>
Feature safe:   yes