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.