@doc

This alias builds HTML documentation for public libraries and package .mld pages. It does not document executable stanzas as API pages. Use @doc-private to build documentation for private libraries.