doc: Move glob syntax to dune-glob (#7988)

[moyodiallo]

Fixes #7988

[emillon]

Thanks.

• This requires odoc >= 2.3.0 so I'm not sure if it will rendered properly by ocaml.org. @sabine do you know?
• (we'll also need to mention that in dune-glob's opam file)
• We can probably link to the docs from dependency-spec.rst instead of duplicating this information.

[moyodiallo]

We can probably link to the docs from dependency-spec.rst instead of duplicating this information.

If it's rendered properly IMHO we could go with that. If I'm not mistaken, at some point it could end up as broken link.

[moyodiallo]

I don't think It is a good idea to have dune-glob and dune packages, exclusive regarding odoc version. I don't know what is behind constraining odoc to 2.0.1 in dune package.

[Alizter]

Doesn't this add odoc as a build dependency? Is that really what is needed? Shouldn't it still be with-doc?

[moyodiallo]

Doesn't this add odoc as a build dependency? Is that really what is needed? Shouldn't it still be with-doc?

Indeed it should be with-doc. Changed in d79aa82

[sabine]

This requires odoc >= 2.3.0 so I'm not sure if it will rendered properly by ocaml.org. @sabine do you know?

if it requires odoc >= 2.3.0, this will require ocaml-doc/voodoo#128 to merge first. This patch is currently on https://staging.docs.ci.ocamllabs.io/ and someone needs to check if all the packages build as expected after the odoc upgrade - only after that, we can merge ocaml-doc/voodoo#128.

ETA: a list of failing packages is here: https://staging.docs.ci.ocamllabs.io/package

Tezos packages failing is normal. I restarted all failed jobs.

[emillon]

Thanks @sabine ! I subscribed to the PR and will hold this one until it's merged.

[moyodiallo]

Thanks @sabine for the merge of ocaml-doc/voodoo#128.

You could start the review @emillon.

[sabine]

That the pull request on voodoo has been merged does not mean that the deployment is successful. The voodoo patch has only been tested on all the newest versions of all the packages.

It's okay to go ahead with reviewing this, but I would ask you to wait with a merge until after we know that the deployment is successful. For reference, the previous voodoo version succeeded to build documentation for 22939 packages and failed to build the documentation of 808 packages.

The documentation pipeline at https://docs.ci.ocaml.org will start in roughly an hour to build all package documentation with the new voodoo version.