Generate error index with mdbook instead of raw HTML pages#101166

Merged

bors merged 2 commits intorust-lang:masterfrom GuillaumeGomez:error-index-mdbook

Sep 2, 2022

+196-142

Commits on Aug 31, 2022

Generate error index with mdbook instead of raw HTML pages
GuillaumeGomez
committed

Commits on Sep 1, 2022

Move error code book into a sub folder
GuillaumeGomez
committed