|
@@ -91,6 +91,8 @@ html_logo = 'img/docs_logo.png'
|
|
|
# These folders are copied to the documentation's HTML output
|
|
|
html_static_path = ['_static']
|
|
|
|
|
|
+html_extra_path = ['robots.txt']
|
|
|
+
|
|
|
# These paths are either relative to html_static_path
|
|
|
# or fully qualified paths (eg. https://...)
|
|
|
html_css_files = [
|