The current versions of the ocean/docs and ocean/man directories
originated from the file ocean_docs.tar.gz and was compiled on:
Wed Mar 13 15:32:00 MET 2002
