Docs: Move html generation to single directory
This commit is contained in:
parent
136468ca78
commit
8fcf9da1ad
|
@ -21,7 +21,7 @@ DOXYGEN = doxygen
|
|||
SPHINXOPTS ?= -c guide
|
||||
SPHINXBUILD ?= sphinx-build
|
||||
|
||||
SOURCEDIR = .
|
||||
SOURCEDIR = guide
|
||||
BUILDDIR = _build
|
||||
|
||||
######################################################################
|
||||
|
|
|
@ -41,7 +41,7 @@ copyright = '2021 by Wilson Snyder, under LGPL-3.0 or Artistic-2.0'
|
|||
author = 'Wilson Snyder'
|
||||
|
||||
# The master toctree document.
|
||||
master_doc = "guide/index"
|
||||
master_doc = "index"
|
||||
|
||||
version = get_vlt_version()
|
||||
release = get_vlt_version()
|
||||
|
@ -120,7 +120,7 @@ html_context = {
|
|||
'display_github': True,
|
||||
'github_user': 'verilator',
|
||||
'github_repo': 'verilator',
|
||||
'github_version': 'master/docs/',
|
||||
'github_version': 'master/docs/guide/',
|
||||
}
|
||||
|
||||
# Add any paths that contain custom static files (such as style sheets) here,
|
||||
|
|
Loading…
Reference in New Issue