Merge pull request #7164 from hugovk/docs-pdf

Build only PDF in addition to default html
This commit is contained in:
Andrew Murray 2023-05-16 07:12:54 +10:00 committed by GitHub
commit 512776e09b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,6 @@
version: 2
formats: all
formats: [pdf]
build:
os: ubuntu-22.04