Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Depending on the modification times of the README and proto files doesn't seem to work well in practice, since git is changing the modification times whenever you clone, revert, etc. - Instead, always regenerate the README doc when `make docs` is invoked Signed-off-by: Ryan Richard <[email protected]>
- Loading branch information