online docs is a 404

Question

online docs is a 404

c-cube opened this issue 5 years ago · comments

Marek Kubica · Answer 1 · Thu Mar 14 2019 06:53:24 GMT+0800 (China Standard Time)

I'll look into this. dune-release has pushed to gh-pages and the settings say everything is fine. But it looks like the docs that were generated are missing bits.

Simon Cruanes · Answer 2 · Thu Mar 14 2019 06:57:20 GMT+0800 (China Standard Time)

With such tools, it's "trust, but verify" in my experience :)
I think dune-release might push docs in a subdirectory.

Marek Kubica · Answer 3 · Thu Mar 14 2019 06:59:27 GMT+0800 (China Standard Time)

I think my problem was that everything was just very old so I upgraded all the dependencies and pushed again. Voila, docs are back!