Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Don't automatically overwrite manual .pdf file
Automatically updating the manual pdf file causes a local git change. This messes up "repo sync" calls because of the local change. Instead, just write an un-tracked file that can be used to update the tracked version of the manual .pdf. Change-Id: Icd7edc244df60728ec169c5aa1cf8b322ca4143b (cherry picked from commit 8e6f7c7)
- Loading branch information