cdk_doc [options] file.doc cdk_doc [options] file1.mli file2.mli ...
Available options are:
-man_dir "dir"
Go to the first, previous, next, last section, table of contents.