rustdoc: allow custom element rustdoc-search

rust-lang · May 7, 2024 · 9262816 · 9262816
1 parent eeb59f1
commit 9262816
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/tools/html-checker/main.rs b/src/tools/html-checker/main.rs
@@ -29,6 +29,8 @@ fn check_html_file(file: &Path) -> usize {
         .arg("-quiet")
         .arg("--mute-id") // this option is useful in case we want to mute more warnings
         .arg("yes")
+        .arg("--new-blocklevel-tags")
+        .arg("rustdoc-search") // custom elements
         .arg("--mute")
         .arg(&to_mute_s)
         .arg(file);