Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
build: Purge docs before rebuilding.
If a help file is renamed, stale help files in the build workspace will cause duplicate tags (which causes the build to fail). To avoid this, always delete build/runtime/doc/ before building helptags.
- Loading branch information