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