commit 83faec7308d8a98b45f967ba2693ed4c9c2de034
author Davide Pesavento <davidepesa@gmail.com> Mon Nov 14 19:44:41 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Mon Nov 14 19:44:41 2022 -0500
tree 1f032be819074cb8346e1a0c1084584d38b8ffad
parent 017a9c066f1fec726149bff9ed5171919785b42d

ci: add Xcode 14.1

Change-Id: I5e809720778b9386f3bd37f74e3a270be340ea15

.github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 0641c21..1750673 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,6 +27,8 @@
           ./.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=version.hpp
           ./waf --color=yes build --targets=manpages