diff options
| author | Eric Huss <eric@huss.org> | 2023-01-05 06:44:11 -0800 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2023-01-05 11:07:35 -0800 |
| commit | 72c3082aab3e2df801deeefcc65c7469d93274ca (patch) | |
| tree | 59be2f993e8fb2e40606bf2cc4e8243190ad1502 | |
| parent | f2ad85a930539986517747729df6082553d195f8 (diff) | |
| download | rust-72c3082aab3e2df801deeefcc65c7469d93274ca.tar.gz rust-72c3082aab3e2df801deeefcc65c7469d93274ca.zip | |
error-index: Don't generate 404 instead of removing it.
| -rw-r--r-- | src/tools/error_index_generator/book_config.toml | 1 | ||||
| -rw-r--r-- | src/tools/error_index_generator/main.rs | 3 |
2 files changed, 1 insertions, 3 deletions
diff --git a/src/tools/error_index_generator/book_config.toml b/src/tools/error_index_generator/book_config.toml index 885100ae3a4..2701ad917bb 100644 --- a/src/tools/error_index_generator/book_config.toml +++ b/src/tools/error_index_generator/book_config.toml @@ -7,6 +7,7 @@ src = "" git-repository-url = "https://github.com/rust-lang/rust/" additional-css = ["error-index.css"] additional-js = ["error-index.js"] +input-404 = "" [output.html.search] enable = true diff --git a/src/tools/error_index_generator/main.rs b/src/tools/error_index_generator/main.rs index 2ccb6b81233..98eda97e236 100644 --- a/src/tools/error_index_generator/main.rs +++ b/src/tools/error_index_generator/main.rs @@ -171,9 +171,6 @@ This page lists all the error codes emitted by the Rust compiler. </html>"#, )?; - // No need for a 404 file, it's already handled by the server. - fs::remove_file(output_path.join("error_codes/404.html"))?; - Ok(()) } |
