From 346108b8a5cc90b7820ca66115b44f9206ea1a11 Mon Sep 17 00:00:00 2001
From: Crayon2000 <crayon1@rocketmail.com>
Date: Fri, 16 Oct 2020 21:36:22 -0400
Subject: [PATCH] Use JamesIves/github-pages-deploy-action

With Ubuntu 20.04, doxygen 1.8.17 is used. Before it was using 1.8.13.
---
 .github/workflows/doc.yml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index 44d1ca1..5d089a5 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -9,7 +9,7 @@ jobs:
 
   doc:
     name: Deploy documentation
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-20.04
 
     steps:
 
@@ -29,7 +29,8 @@ jobs:
         mv latex/refman.pdf doc/PDF-documentation.pdf
 
     - name: Deploy to GitHub Pages
-      uses: maxheld83/ghpages@v0.3.0
-      env:
-        BUILD_DIR: ./doc
-        GH_PAT: ${{ secrets.GH_PAT }}
+      uses: JamesIves/github-pages-deploy-action@3.6.2
+      with:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        BRANCH: gh-pages
+        FOLDER: doc