Create robots.txt

Add explanatory text
2023-10-03 13:03:40 +00:00 · 2021-04-01 16:18:46 +02:00
parent b605211d53
commit 2962d48593
3 changed files with 98 additions and 2 deletions
@@ -156,7 +156,7 @@ html_js_files = ["js/toggle.js"]
 # 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 = ["_static/css"]
+html_extra_path = ["_static/css", "_static/robots.txt"]

 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.