sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-06-27 07:30:32 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
536315 commits 47 branches 104 tags 1.9 GiB
Commit graph

3 commits

Author SHA1 Message Date
Max Brazhnikov
46b2d58c15 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@)
 2019-11-04 12:52:46 +00:00
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