Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
index: keep index file as long as possible
When generating the INDEX file, we are already building it in a temporary file and swap it last minute. make the index target now directly depend on the INDEX file generation target. Turn that target into a PHONY target so the file is always regenerated when someone calls make index. PR: 202070
- Loading branch information