Hi,
I noticed that the doc is not made when doing an 'opam install
exitlib',
the directory OPAMROOT/system/doc/extlib is empty.
To check I took the tar file an did 'make doc', it generated doc
in the extlib/doc directory just fine.
Is the html doc somewhere there under the opam root dir? If not,
how can I tell opam to generate it?
/Str.