From cbf0be31d58c083662a8f39a6b20d0cc8503756f Mon Sep 17 00:00:00 2001 From: Matt Westcott Date: Fri, 4 Dec 2020 13:21:49 +0000 Subject: [PATCH] revert to @allcaps's original approach to including robots.txt --- docs/conf.py | 2 +- docs/{_html_extra => }/robots.txt | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docs/{_html_extra => }/robots.txt (100%) diff --git a/docs/conf.py b/docs/conf.py index 6cb9fe2230..83ea07e6b4 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -163,7 +163,7 @@ html_static_path = ['_static'] # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied # directly to the root of the documentation. -html_extra_path = ['_html_extra'] +html_extra_path = ['robots.txt'] # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format. diff --git a/docs/_html_extra/robots.txt b/docs/robots.txt similarity index 100% rename from docs/_html_extra/robots.txt rename to docs/robots.txt