From 307257e9afb0c61cc0a45a62bb39dbaff290c770 Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 14 Oct 2020 17:43:58 +0200
Subject: [PATCH] workflows: docs-publish-pages [ci skip]

---
 .github/workflows/cmake-build-ci.gen     |  1 +
 .github/workflows/cmake-build-ci.yml     |  1 +
 .github/workflows/docs-publish-pages.yml | 38 ++++++++++++++++++++++++
 3 files changed, 40 insertions(+)
 create mode 100644 .github/workflows/docs-publish-pages.yml

diff --git a/.github/workflows/cmake-build-ci.gen b/.github/workflows/cmake-build-ci.gen
index b0d3c5a5..dddde934 100755
--- a/.github/workflows/cmake-build-ci.gen
+++ b/.github/workflows/cmake-build-ci.gen
@@ -192,6 +192,7 @@ on:
       - "docs/**"
       - ".travis.yml"
       - ".cirrus.yml"
+      - ".github/workflows/docs*"
     branches-ignore:
       - gh-pages
   pull_request:
diff --git a/.github/workflows/cmake-build-ci.yml b/.github/workflows/cmake-build-ci.yml
index 0d5208b6..3e9bf4af 100644
--- a/.github/workflows/cmake-build-ci.yml
+++ b/.github/workflows/cmake-build-ci.yml
@@ -6,6 +6,7 @@ on:
       - "docs/**"
       - ".travis.yml"
       - ".cirrus.yml"
+      - ".github/workflows/docs*"
     branches-ignore:
       - gh-pages
   pull_request:
diff --git a/.github/workflows/docs-publish-pages.yml b/.github/workflows/docs-publish-pages.yml
new file mode 100644
index 00000000..ce82af53
--- /dev/null
+++ b/.github/workflows/docs-publish-pages.yml
@@ -0,0 +1,38 @@
+name: docs-publish-pages
+
+on:
+  push:
+    paths:
+      - 'docs/**'
+    branches:
+      - v1.x
+
+jobs:
+  publish:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install dependencies
+        run: |
+          sudo apt-get install -y \
+            python3-sphinx \
+            python3-sphinx-rtd-theme
+      - name: Configure
+        run: |
+          cmake -DBUILD_DOCSONLY=ON -DBUILD_DOCS_MAN=OFF -S . -B build
+      - name: Build
+        run: |
+          make -C build html
+      - uses: crazy-max/ghaction-github-pages@v2
+        if: success()
+        with:
+          jekyll: false
+          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 }}
-- 
2.30.2