diff --git a/docs/conf.py b/docs/conf.py index f3a47ae..759bb0b 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -78,6 +78,8 @@ html_theme_options = { "show_related": False, } +html_extra_path = ["robots.txt"] + # Custom sidebar templates, must be a dictionary that maps document names # to template names. # diff --git a/docs/robots.txt b/docs/robots.txt new file mode 100644 index 0000000..f592924 --- /dev/null +++ b/docs/robots.txt @@ -0,0 +1,2 @@ +User-agent: * +Disallow: /en/master/