add robots.txt

Signed-off-by: chang-ning <[email protected]>
crazyguitar · Oct 10, 2018 · a9394c3 · a9394c3
1 parent 60074b4
commit a9394c3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/docs/_extra/robots.txt b/docs/_extra/robots.txt
@@ -0,0 +1,2 @@
+User-agent: *
+Disallow:
diff --git 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.