mirror of
https://github.com/verilator/verilator.git
synced 2026-10-06 01:54:01 +02:00
Commentary: Fix html build (#6502)
This commit is contained in:
@@ -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.
|
||||
|
||||
Reference in New Issue
Block a user