gh-139741: Make dist-pdf docs archive build work for macOS
#7987
| Job | Run time |
|---|---|
| 6s | |
| 6s |
dist-pdf docs archive build work for macOS
#7987
| Job | Run time |
|---|---|
| 6s | |
| 6s |