Merge pull request #800 from geertu/doc-sphinx-v1-fix

doc: Fix doc build with Sphinx v1.x
This commit is contained in:
enjoy-digital 2021-02-04 12:24:49 +01:00 committed by GitHub
commit 0006efe6ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -28,6 +28,7 @@ offline_skin_js_path = "https://wavedrom.com/skins/default.js"
offline_wavedrom_js_path = "https://wavedrom.com/WaveDrom.js"
html_theme = 'alabaster'
html_static_path = ['_static']
master_doc = 'index'
"""
def generate_svd(soc, buildpath, filename=None, name="soc", **kwargs):