diff --git a/docs/guide/conf.py b/docs/guide/conf.py index 82f857c59..2902c88c6 100644 --- a/docs/guide/conf.py +++ b/docs/guide/conf.py @@ -73,6 +73,9 @@ rst_prolog = """ # We keep this extensions list empty for now to avoid needing dependencies extensions = [] # extensions = ['breathe', 'sphinxcontrib.spelling'] +# For website builds, this will add sphinxcontrib.jquery +if 'VERILATOR_SPHINX_EXTENSIONS' in os.environ: + extensions.extend(os.environ.get('VERILATOR_SPHINX_EXTENSIONS', '').split(':')) # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files.