Open camilogarciabotero opened 7 months ago
On one hand, from a user perspective, it would be really nice to have all the documentation in one place. So if there's a setting that would make re-exports show up on the generated docs, that would be great.
On the other hand, if it's not feasible, it's not a show-stopper as long as we link to the underlying base package documentation.
Hi @lazarusA do you know if this is a bug or a not supported feature of DocumenterVitepress.jl
or can we enable that on the deployment?
I was inspecting the latest deployed docs after #129 was merged and found that the API was empty. When built locally it shows all the API of the
rexport
ed packages. But it seems that in the deployed it doesn't. I believe this is on theDocumenterVitepress.jl
side.Proofs: