2022-08-12 15:21:28 +02:00
|
|
|
{% extends "base.html" %}
|
|
|
|
|
|
|
|
{% block site_meta %}
|
|
|
|
{{ super() }}
|
2024-04-22 15:52:03 +02:00
|
|
|
{# Disable search indexing unless we're building for ReadTheDocs #}
|
|
|
|
{% if not config.extra.readthedocs %}
|
2022-08-12 15:21:28 +02:00
|
|
|
<meta name="robots" content="noindex">
|
|
|
|
{% endif %}
|
|
|
|
{% endblock %}
|