
Modified build.xml to construct jcsp-doc directory (rather than jcsp-all-doc).

Gives consistent naming: jcsp-doc/jcsp.jar and jcsp-core-doc/jcsp-core.jar.

Just a name change - hope I didn't screw anything up in build.xml ...



rickb777/jcsp,rickb777/jcsp,rickb777/jcsp,rickb777/jcsp