Merge pull request #280 from pblottiere/fix_doc_bibtex

bibtex extension is not necessary to build the website
This commit is contained in:
Paul Blottiere 2020-12-28 01:04:08 +01:00 committed by GitHub
commit 5d64d710aa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 2 additions and 3 deletions

View File

@ -15,7 +15,7 @@ jobs:
- name: Install sphinx
run: sudo apt-get install python3-virtualenv virtualenv
- name: Build html documentation
run: virtualenv -p /usr/bin/python3 venv && source venv/bin/activate && pip install sphinx sphinx_rtd_theme sphinxcontrib.bibtex && cd doc && make html && cd -
run: virtualenv -p /usr/bin/python3 venv && source venv/bin/activate && pip install sphinx sphinx_rtd_theme && cd doc && make html && cd -
- name: Deploy
uses: peaceiris/actions-gh-pages@v2.4.0
env:

View File

@ -25,7 +25,7 @@ sys.path.insert(0, os.path.abspath('.'))
# coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
extensions = ['sphinx.ext.autodoc',
'sphinx.ext.mathjax', 'sphinx.ext.intersphinx',
'sphinxcontrib.bibtex', 'embed']
'embed']
# Add any paths that contain templates here, relative to this directory.

View File

@ -92,7 +92,6 @@ Sphinx is used to build the documentation. For that, you have to install the
next Python packages:
- ``sphinx``
- ``sphinxcontrib.bibtex``
Then: