From a9394c346b0eeb258db4e64c30864072f5538fcf Mon Sep 17 00:00:00 2001 From: chang-ning Date: Wed, 10 Oct 2018 16:06:35 +0800 Subject: [PATCH] add robots.txt Signed-off-by: chang-ning --- docs/_extra/robots.txt | 2 ++ docs/conf.py | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 docs/_extra/robots.txt diff --git a/docs/_extra/robots.txt b/docs/_extra/robots.txt new file mode 100644 index 00000000..eb053628 --- /dev/null +++ b/docs/_extra/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: diff --git a/docs/conf.py b/docs/conf.py index 7434ca18..86db98be 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -156,7 +156,7 @@ # 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_path = ['_extra'] # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format.