- Change build process so that javadoc documentation is built
authormike <mike>
Sun, 17 Nov 2002 23:29:54 +0000 (23:29 +0000)
committermike <mike>
Sun, 17 Nov 2002 23:29:54 +0000 (23:29 +0000)
commitdf5608bc7210d0a71054d20a2b716056d84768c6
treeec1fc3cc4cf29f8164514eb463e9351f684df3d7
parent394625a21876d096000c4940049305c27de90321
- Change build process so that javadoc documentation is built
  by "make" in the "docs" directory.
Build [new file with mode: 0755]
Makefile [new file with mode: 0644]
docs/Makefile [new file with mode: 0644]
docs/README [deleted file]
test/random/Makefile [new file with mode: 0644]