the "doc" directory: documents