diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/_html_extra/robots.txt | 2 | ||||
| -rw-r--r-- | docs/conf.py | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/docs/_html_extra/robots.txt b/docs/_html_extra/robots.txt new file mode 100644 index 00000000..bccdfc14 --- /dev/null +++ b/docs/_html_extra/robots.txt @@ -0,0 +1,2 @@ +User-agent: atlassian-bot +Disallow:
\ No newline at end of file diff --git a/docs/conf.py b/docs/conf.py index 3ae3ad9e..7d933306 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -109,6 +109,8 @@ html_theme = "sphinx_rtd_theme" # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] +html_extra_path = ['_html_extra'] + # Custom sidebar templates, must be a dictionary that maps document names # to template names. # |