Hostsharing Nutzerhandbuch
parent: 043896c3 | patch | commit | ignore whitespace
doc.hostsharing.net
2020-03-10 c5e3c3f0630d448b37a82bb21623fae058e4f56d 
robots.txt
2 files modified
10 ■■■■■ changed files
source/_static/robots.txt 4 ●●●●● patch | view | raw | blame | history
source/conf.py 6 ●●●●● patch | view | raw | blame | history 
 source/_static/robots.txt


@@ -1,2 +1,4 @@


User-agent: *


Disallow: /


Disallow: /_sources/


Disallow: /_static/


Disallow: /_images/




 source/conf.py


@@ -44,8 +44,8 @@


# ones.


extensions = [


    'sphinx.ext.todo',


    'sphinx_rtd_theme',


    'sphinx.ext.graphviz'


    'sphinx.ext.graphviz',


    'hs.theme.sphinx'


]




todo_include_todos = False


@@ -71,7 +71,7 @@


# The theme to use for HTML and HTML Help pages.  See the documentation for


# a list of builtin themes.


#


html_theme = 'sphinx_rtd_theme'


html_theme = 'hostsharing'


html_theme_options = {


    'logo_only': False,


    'display_version': True,