Merge pull request #2415 from DFHack/master

Merge robots.txt change from master to develop
develop
Myk 2022-11-21 21:47:54 -08:00 committed by GitHub
commit 61974b86ab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 0 deletions

@ -256,6 +256,10 @@ html_favicon = 'docs/styles/dfhack-icon.ico'
# so a file named "default.css" will overwrite the builtin "default.css". # so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['docs/styles'] html_static_path = ['docs/styles']
# A list of paths that contain extra files not directly related to the
# documentation.
html_extra_path = ['robots.txt']
# Custom sidebar templates, maps document names to template names. # Custom sidebar templates, maps document names to template names.
html_sidebars = { html_sidebars = {
'**': [ '**': [

@ -0,0 +1,5 @@
User-agent: *
Allow: /en/stable/
Sitemap: https://docs.dfhack.org/sitemap.xml