docs - custom robots.txt

This commit is contained in:
bunkerity 2021-06-08 09:18:28 +02:00
parent 177a82ee6e
commit 518ddd3236
No known key found for this signature in database
GPG Key ID: 3D80806F12602A7C
2 changed files with 9 additions and 0 deletions

View File

@ -82,8 +82,12 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']
# for sitemap
branch = get_git_branch()
if branch == "master" :
html_baseurl = 'https://bunkerized-nginx.readthedocs.io/en/latest/'
else :
html_baseurl = 'https://bunkerized-nginx.readthedocs.io/en/dev/'
# custom robots.txt
html_extra_path = ['robots.txt']

5
docs/robots.txt Normal file
View File

@ -0,0 +1,5 @@
User-agent: *
Disallow: /en/dev/
Sitemap: https://bunkerized-nginx.readthedocs.io/sitemap.xml