diff options
author | Jonathan Hui <jonhui@google.com> | 2023-06-12 19:34:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-12 19:34:07 -0700 |
commit | 710c6932ff09336755c500a882cf024453486e4e (patch) | |
tree | e9c20fc435c7b220ac8abd5517edf060e807fea3 /.github | |
parent | e59629439bb4b90b94d1d7865a2c08591023f3d3 (diff) | |
download | ot-br-posix-710c6932ff09336755c500a882cf024453486e4e.tar.gz |
[github-actions] run `tests/scripts/bootstrap.sh` for doc gen (#1901)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/documentation.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 93065f4c..e031c703 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -46,8 +46,8 @@ jobs: submodules: true - name: Bootstrap run: | - sudo apt-get update - sudo apt-get install -y doxygen libdbus-1-dev libglib2.0-dev-bin xmlto + tests/scripts/bootstrap.sh + sudo apt-get install -y libglib2.0-dev-bin xmlto - name: Generate run: | mkdir build-doc |