V809-018 RTD: Remove the logo from the documentation

For homogeneity with other docs.

Change-Id: I1d7d534167be55b67ae438cdc33e37230ecb6c26

Author: setton

docs/conf.py

@@ -140,7 +140,7 @@ def get_version():
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-html_logo = 'adacore_transparent.png'
+# html_logo = 'adacore_transparent.png'
 
 # The name of an image file (within the static path) to use as favicon of the
 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32