Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #2183, use osal_public_api header targets in doc
Ensure that `osal_public_api_headerlist` is a dependency of all the doc builds. Also adds the OSAL top level directory to the mission build which will define the `osal_public_api` target, and thus not require the path to be repeated.
- Loading branch information