Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #2320, adjust scripts and docs for header renames
Corrects the paths and references in the documentation build to reflect the header name changes. Removes the overrides from "sample_defs" as these are no longer strictly required, user only needs to override if they really need to change something.
- Loading branch information