commit a42efcb408ec6acef3eff9c88147e3c6cd947383
author Davide Pesavento <davidepesa@gmail.com> Tue Nov 15 02:43:16 2022 -0500
committer Davide Pesavento <davidepesa@gmail.com> Tue Nov 15 02:43:16 2022 -0500
tree d04511e97b9658d56650ffe885bf5dc361e12f34
parent aa9e3b21481a34af5d3234248b16aca316929293

ci: add Xcode 14.1

Change-Id: I8415fb1375da16813a69fa7a03bf37a7b0efc8b7

.github/workflows/docs.yml

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9106b1f..e566385 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:
@@ -29,6 +29,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