doc/manual: no analytics_id with rtd

jordens · jordens · commit c38e2cda9de7 · 2016-08-25T22:21:29.000+02:00
diff --git a/doc/manual/conf.py b/doc/manual/conf.py
@@ -130,9 +130,7 @@ def __getattr__(cls, name):
 # 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 = {
-  'analytics_id': 'UA-75602447-2',
-}
+html_theme_options = {}
 
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = []
