From 0865bee500740f0e422497da7285bbc531837677 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Mon, 29 Sep 2025 21:11:22 -0400 Subject: [PATCH] Commentary: Fix html build (#6502) --- docs/guide/conf.py | 3 +++ 1 file changed, 3 insertions(+) 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.