diff --git a/docs/overrides/main.html b/docs/overrides/main.html index 56e4bcc9ab86..2f2c27b896ef 100644 --- a/docs/overrides/main.html +++ b/docs/overrides/main.html @@ -1,6 +1,9 @@ {% extends "base.html" %} - +{% block extrahead %} + + {{ super() }} +{% endblock %} {% block analytics %} {{ super() }} diff --git a/docs/robots.txt b/docs/robots.txt new file mode 100644 index 000000000000..77470cb39f05 --- /dev/null +++ b/docs/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: / \ No newline at end of file