summaryrefslogtreecommitdiff
path: root/tomlplusplus/.github/workflows/gh-pages.yaml
diff options
context:
space:
mode:
Diffstat (limited to 'tomlplusplus/.github/workflows/gh-pages.yaml')
-rw-r--r--tomlplusplus/.github/workflows/gh-pages.yaml48
1 files changed, 0 insertions, 48 deletions
diff --git a/tomlplusplus/.github/workflows/gh-pages.yaml b/tomlplusplus/.github/workflows/gh-pages.yaml
deleted file mode 100644
index 2a1f3c6667..0000000000
--- a/tomlplusplus/.github/workflows/gh-pages.yaml
+++ /dev/null
@@ -1,48 +0,0 @@
-name: gh-pages
-
-on:
- push:
- branches:
- - master
- paths:
- - "**.h"
- - "**.hpp"
- - "**.dox"
- - "**.md"
- - "docs/**"
- - "**/gh-pages.yaml"
- workflow_dispatch:
-
-jobs:
- gh-pages:
- runs-on: ubuntu-latest
-
- defaults:
- run:
- shell: bash
-
- steps:
- - uses: actions/checkout@v4
- with:
- fetch-depth: 0
-
- - name: Install dependencies
- run: |
- sudo apt -y update
- sudo apt -y install --no-install-recommends git doxygen
- pip3 install --user --upgrade poxy
-
- - name: Generate docs
- run: |
- git fetch origin master:refs/remotes/origin/master --tags --force
- git remote set-head origin -a
- git checkout master
- git pull --force
- cd docs
- poxy --verbose --git-tags
-
- - name: Deploy
- uses: peaceiris/actions-gh-pages@v3
- with:
- github_token: ${{ secrets.GITHUB_TOKEN }}
- publish_dir: ./docs/html