push:
paths:
- 'docs/**'
+ - 'ChangeLog*'
branches:
- v1.x
+env:
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
jobs:
publish:
runs-on: ubuntu-20.04
- name: Install dependencies
run: |
sudo apt-get install -y \
+ python3-m2r \
python3-sphinx \
python3-sphinx-rtd-theme
- name: Configure
run: |
- cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_MAN=OFF -S . -B build
+ cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_HTML=ON -DBUILD_DOCS_MAN=OFF -S . -B build
- name: Build
run: |
make -C build html
keep_history: true
allow_empty_commit: false
build_dir: build/docs/html
- commit_message: |
- ${{ github.event.push.pusher }} pushed to following commits:\
- \
- ${{ join(github.event.push.commits.*.message, '\n\n') }}\
- \
- ${{ github.event.push.compare }}