Jon Ludlam
Jon Ludlam
> I should have read the documentation of `odoc_driver`, it would have avoided misinterpretation of the word "package". Anyway, now that I better understand that, the result that I obtain...
[frama-c.patch](https://github.com/user-attachments/files/18694662/frama-c.patch) Here's the frama-c patch - it's based on 30.0
> Indeed it would be nicer if that'd be something that happen at link and/or generation time rather than during `.odoc` file generation. Will the change happen before 3 is...
> Does that mean that I need to invent new names ? That looks rather unconvenient. odoc_driver is using the package names as keys. I think that's probably the right...
No current solution as far as I'm aware. It's probably worth creating a feature-request issue in `ocaml/dune` rather than here as the build rules are in dune.
Thanks for reporting this, yes, this clearly needs fixing.
So, coming back to this, I think we can address a few of these for the v3.0 release, mostly because a lot of these were tricky prior to the existence...
Thanks @Octachron !
Yes, this is a good idea. I'm not sure whether we should go with `@hidden` or just `hidden` - I can see why using the same string as the tag...