doc: Fixed two warnings in html format documentation generation

The patch modifies the file doc/conf.py to fix the warnings:

1) the config value 'html_add_permalinks' has type `bool',
	defaults to `str.'
2) html_static_path entry '/media/projects/zephyr/doc/_static'
	does not exist

Change-Id: I01e74b5db85311c514ef437e75b8f378ce80125f
Signed-off-by: Yannis Damigos <giannis.damigos@gmail.com>
This commit is contained in:
Yannis Damigos 2016-03-02 10:38:49 +02:00 committed by Gerrit Code Review
commit ab1c6a1c81

View file

@ -128,9 +128,9 @@ html_theme_path = ['./themes']
# "<project> v<release> documentation".
html_title = "Zephyr Project Documentation"
# If True permalinks will be added to each header.
html_add_permalinks = False
# This value determines the text for the permalink; it defaults to "¶".
# Set it to None or the empty string to disable permalinks.
html_add_permalinks = ""
# A shorter title for the navigation bar. Default is the same as html_title.
#html_short_title = None
@ -147,7 +147,7 @@ html_add_permalinks = False
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']
html_static_path = []
# Add any extra paths that contain custom files (such as robots.txt or
# .htaccess) here, relative to this directory. These files are copied