diff --git a/docs/Makefile b/docs/Makefile index a1e151b35..3a44a656a 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -18,12 +18,16 @@ RST2HTML = rst2html PYTHON3 = python3 DOXYGEN = doxygen -SPHINXOPTS ?= -c guide SPHINXBUILD ?= sphinx-build SOURCEDIR = guide BUILDDIR = _build +SPHINXOPTS ?= -c guide +ifneq ($(VERILATOR_ANALYTICS_ID),) +SPHINXOPTS += -D html_theme_options.analytics_id=$(VERILATOR_ANALYTICS_ID) +endif + ###################################################################### .SUFFIXES: diff --git a/docs/guide/conf.py b/docs/guide/conf.py index 730b3e351..d022012c2 100644 --- a/docs/guide/conf.py +++ b/docs/guide/conf.py @@ -115,7 +115,6 @@ html_theme = 'sphinx_rtd_theme' html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] html_theme_options = { - 'analytics_id': 'G-D27B0C9QEB', 'logo_only': True, 'style_nav_header_background': "#45acf8", # Default is #2980B9 # 'canonical_url':