commit 6f16856fc231f8c6296ff6574cc2abc63a53e1d9
author Davide Pesavento <davidepesa@gmail.com> Sun Nov 13 15:57:02 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Mon Nov 14 19:40:04 2022 -0500
tree 3376cc2a559fa057b31177b27b29116dfad55ab3
parent b61e3e217473e59a4365eea9f88d58b91fd88c0b

ci: add Xcode 14.1

Change-Id: I0dbc2eec5a50239415361292a0597ffa19b05ce1

.github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 5e532d4..9b1f305 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -15,7 +15,7 @@
     strategy:
       fail-fast: false
       matrix:
-        os: [macos-12, ubuntu-20.04]
+        os: [macos-latest, ubuntu-latest]
     env:
       JOB_NAME: Docs
     steps:
@@ -27,5 +27,7 @@
           ./.jenkins
       - name: Build documentation
         run: |
+          pybindir=$(python3 -c 'import sysconfig; print(sysconfig.get_path("scripts", "posix_user"))')
+          export PATH="${pybindir}${PATH:+:}${PATH}"
           ./waf --color=yes configure
           ./waf --color=yes build --targets=manpages