Eric Huss 2773456f5f Move error_index_generator to the rustbook workspace ...

I had forgotten that error_index_generator is using mdbook. This moves
it to be part of the rustbook workspace so that it can share the
dependency with rustbook.

2025-02-17 10:58:15 -08:00

..

book_config.toml

error-index: Don't generate 404 instead of removing it.

2023-01-05 11:07:35 -08:00

Cargo.toml

Move error_index_generator to the rustbook workspace

2025-02-17 10:58:15 -08:00

error-index.css

Fix tooltip display for error codes

2022-09-18 00:32:28 +02:00

error-index.js

Generate error index with mdbook instead of raw HTML pages

2022-08-31 20:31:22 +02:00

main.rs

Reformat using the new identifier sorting from rustfmt

2024-09-22 19:11:29 -04:00

redirect.js

Fix error-index redirect to work with back button.

2023-01-05 11:07:11 -08:00