Closed pdonadeo closed 4 years ago
For sure I had no documentation installed on my PC at home. So I patched the repo, locally installed it with opam install .
and the documentation appeared.
So I wrongly deduced that 2 + 2 = 22.
Today, on the office PC, the documentation is present and I cannot reproduce the problem I saw yesterday.
So is this fixing a real problem or not?
No it's not.
No, it's not a real problem or at least I saw it only once and cannot reproduce. I'm going to close.
Thanks, @pdonadeo.
Well, as @dbuenzli mentioned here, this shouldn't affect the generated docs (odig should do the job just fine). But overall it seems fine.