Document warning cleanup + new version of docs builder

This commit is contained in:
Ben Wyeth
2019-04-11 14:43:47 +01:00
committed by Anthony Keenan
parent 87720163f8
commit f9916e673c
30 changed files with 1895 additions and 47 deletions

View File

@ -98,9 +98,9 @@ language = None
# List of patterns, relative to source directory, that match files and
# directories to ignore when looking for source files.
exclude_patterns = ['./design/README.md']
exclude_patterns = ['design/README.md']
if tags.has('pdfmode'):
exclude_patterns = ['./design', './design/README.md']
exclude_patterns = ['design', 'design/README.md']
# The reST default role (used for this markup: `text`) to use for all
# documents.
@ -141,7 +141,7 @@ html_theme = "sphinx_rtd_theme"
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
html_add_permalinks = True
# html_add_permalinks = True
# Theme options are theme-specific and customize the look and feel of a theme
# further. For a list of options available for each theme, see the