Closes #9994: Disable search indexing for local documentation builds

2026-02-04 06:16:23 -06:00 · 2022-08-12 09:21:28 -04:00
parent 8cd5a24409
commit c635f09e05
2 changed files with 11 additions and 0 deletions
@@ -0,0 +1,9 @@
+{% extends "base.html" %}
+
+{% block site_meta %}
+  {{ super() }}
+  {# Disable search indexing unless we're building for ReadTheDocs #}
+  {% if not config.extra.readthedocs %}
+    <meta name="robots" content="noindex">
+  {% endif %}
+{% endblock %}