diff options
Diffstat (limited to 'docs/conf.py.in')
| -rw-r--r-- | docs/conf.py.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/conf.py.in b/docs/conf.py.in index 12bfa9ed0..28e8fa04c 100644 --- a/docs/conf.py.in +++ b/docs/conf.py.in @@ -15,6 +15,9 @@ import sys # add path to enable extensions sys.path.insert(0, '${CMAKE_CURRENT_SOURCE_DIR}/ext/') +# path to python api +sys.path.insert(0, '${CMAKE_BINARY_DIR}/src/api/python') + # -- Project information ----------------------------------------------------- @@ -30,6 +33,7 @@ author = 'The Authors of cvc5' # ones. extensions = [ 'breathe', + 'sphinx.ext.autodoc', 'sphinx.ext.autosectionlabel', 'sphinxcontrib.bibtex', 'sphinx_tabs.tabs', |