about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEric Huss <eric@huss.org>2023-01-05 06:44:11 -0800
committerEric Huss <eric@huss.org>2023-01-05 11:07:35 -0800
commit72c3082aab3e2df801deeefcc65c7469d93274ca (patch)
tree59be2f993e8fb2e40606bf2cc4e8243190ad1502
parentf2ad85a930539986517747729df6082553d195f8 (diff)
downloadrust-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.toml1
-rw-r--r--src/tools/error_index_generator/main.rs3
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(())
 }