The current version of the ocean/docs directory
originated from the file ocean_docs.tar.Z and was compiled on:
Tue Nov 2 15:12:32 MET 1993
