From 643d8e99668452669cc918defa555d372f57db5e Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Mon, 30 Jan 2023 08:54:45 -0700 Subject: [PATCH] rustdoc: do not include empty default-settings tag in HTML --- src/librustdoc/html/templates/page.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/librustdoc/html/templates/page.html b/src/librustdoc/html/templates/page.html index fddda293b9a86..0b49234e9dffe 100644 --- a/src/librustdoc/html/templates/page.html +++ b/src/librustdoc/html/templates/page.html @@ -24,11 +24,13 @@ {%- for theme in themes -%} {#- -#} {%- endfor -%} + {%- if !layout.default_settings.is_empty() -%} {#- -#} + {%- endif -%} {#- -#} {%- if page.css_class.contains("crate") -%} {#- -#}