Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Follow-up to #4062, which broke the deploy-docs workflow. By introducing mdbook-linkcheck, we inadvertently changed the output dir structure emitted by `mdbook build`: rather than `docs/guide/book/<docroot>`, we now have `docs/guide/book/html/<docroot/` and `docs/guide/book/linkcheck/`. The same is true of the protocol docs.
- Loading branch information