docs: fix documentation generation

This commit is contained in:
Pedro Alves 2022-12-29 17:34:47 +00:00
parent 5f67918bae
commit dd9ec124a2
41 changed files with 55 additions and 552 deletions

View file

@ -56,4 +56,4 @@ workflows:
- build-docs
filters:
branches:
only: main
only: main