| name: Docs |
| on: |
| push: |
| paths-ignore: |
| - '*.md' |
| - '.mailmap' |
| workflow_dispatch: |
| |
| permissions: |
| contents: read |
| |
| jobs: |
| build: |
| runs-on: ${{ matrix.os }} |
| strategy: |
| fail-fast: false |
| matrix: |
| os: [macos-12, ubuntu-20.04] |
| env: |
| JOB_NAME: Docs |
| steps: |
| - name: Checkout |
| uses: actions/checkout@v3 |
| with: |
| submodules: true |
| - name: Install dependencies |
| run: | |
| find .jenkins.d/ -type f -name '[1-9]*.sh' -exec chmod -x '{}' + |
| ./.jenkins |
| - name: Build documentation |
| run: | |
| ./waf --color=yes configure |
| ./waf --color=yes build --targets=version.hpp |
| ./waf --color=yes build --targets=manpages |
| ./waf --color=yes docs |