[Foxtrot] script for updating javadoc

Matej Pfajfar mp292@hermes.cam.ac.uk
Mon, 26 Feb 2001 17:12:31 +0000 (GMT)


Hi guys,

To update javadoc yourselves, you can now run
/group/CST1b/foxtrot/bin/makejavadoc .
Please report any bugs so I can sort it out, but it seems to work.

Mat

Matej Pfajfar
St John's College, University of Cambridge, UK

PGP Public Key @ www.telesat.si/~badbytes
Most people are good people, the rest of us are going to 
run the world. -- badbytes