46b2d58c15
- 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@)
15 lines
477 B
Text
15 lines
477 B
Text
bin/jhindexer
|
|
bin/jhsearch
|
|
share/java/classes/dtd/favorites_2_0.dtd
|
|
share/java/classes/dtd/helpset_2_0.dtd
|
|
share/java/classes/dtd/index_2_0.dtd
|
|
share/java/classes/dtd/map_2_0.dtd
|
|
share/java/classes/dtd/toc_2_0.dtd
|
|
share/java/classes/jh-client.jar
|
|
share/java/classes/jh.jar
|
|
share/java/classes/jhall.jar
|
|
share/java/classes/jhbasic.jar
|
|
share/java/classes/jsearch-client.jar
|
|
share/java/classes/jsearch-indexer.jar
|
|
share/java/classes/jsearch-misc.jar
|
|
share/java/classes/jsearch.jar
|