eio icon indicating copy to clipboard operation
eio copied to clipboard

odocs: Clicking on `Mutex.t` link gives 404

Open polytypic opened this issue 3 years ago • 1 comments

If you click the Mutex.t link in the Condition.await signature here, you get a 404 response.

polytypic avatar Apr 13 '23 13:04 polytypic

@jonludlam I see this locally too (with dune build @doc). The link goes to Eio__/Mutex/index.html (which doesn't exist) but the documentation is in Eio/Mutex/index.html. The Eio_mutex.mli file has @canonical Eio.Mutex.

talex5 avatar Apr 14 '23 08:04 talex5