message: Fixing docs generation
diff: @@ -119,10 +119,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
  # 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
  # documentation.
  -html_theme_options = {
  - 'collapse_navigation': False,
  - 'display_version': False,
  -}
  +html_theme_options = {}
  # Add any paths that contain custom themes here, relative to this directory.
  #html_theme_path = []
  