diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-14 23:52:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-14 21:52:06 +0000 |
commit | 729b25ea1270344a2ad168f272fd68f53256b661 (patch) | |
tree | ccb4e951fd68be9205479828def7b76fdd29bebf /docs/conf.py | |
parent | 9894b5fca418879ec472e5efbb43be26995e4045 (diff) |
Improve documentation for FP rounding mode, add bibliography (#6343)
Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 5713d3fa3..fbe0e9131 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -29,9 +29,12 @@ author = 'The Authors of cvc5' # ones. extensions = [ 'breathe', - 'sphinx.ext.autosectionlabel' + 'sphinx.ext.autosectionlabel', + 'sphinxcontrib.bibtex', ] +bibtex_bibfiles = ['references.bib'] + # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] |