Merge pull request #276 from pgpointcloud/fix_doc

Update HTML documentation
This commit is contained in:
Paul Blottiere 2020-07-02 22:35:04 +02:00 committed by GitHub
commit 377aa4b60f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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