| commit | b02f00668583feb4b257663175d35ab441e6c459 | [log] [tgz] |
|---|---|---|
| author | Bence Szépkúti <bence.szepkuti@arm.com> | Tue Jun 13 15:04:31 2023 +0200 |
| committer | GitHub <noreply@github.com> | Tue Jun 13 15:04:31 2023 +0200 |
| tree | 207a75920e9e230fe4b6c1d6bd1b956eb5808acc | |
| parent | 14f65a47c886aa5d8e64068949356f99cf04a644 [diff] | |
| parent | 84fccd4da29e591b9fe5591a6ae086d1728357f1 [diff] |
Merge pull request #7750 from davidhorstmann-arm/build-docs-realfull Build the docs in realfull config