The distribution group consists of:
dist_source.sh
to make a source dist,
dist_javadoc.sh
to create a JavaDoc distribution from the source distribution.
dist_binary.sh
to create a binary distribution from the source distribution.
binary.man specifies the JAR manifests in util/*.man and
specifies how to build JARs with
buildjar.sh
.
A few admin files are added, and the result is packaged up.
testjar.sh
is run to make sure it is up to spec.
For example, util/man/spt.man
is all the
non-algorithmic provider and core code. This manifest says to
compile the Java modules, make some nonsense text files, and
package it in to a JAR.
test_results
and
util/auto_testjar*.sh
.