
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 ...



git-svn-id: d31ec07ba048467253eb755cdca99d6f6062d65e@239 5ee8cc34-b920-0410-bb03-fa7ad842d588

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