2 commits

Author	SHA1	Message	Date
Max Brazhnikov	afc9c7c8a3	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	2014-04-25 11:51:05 +00:00
Wen Heping	f182cf669e	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	2010-02-23 09:49:48 +00:00