This directory is used for Makefile milestone files, which are created on completion of a target and used for dependency management. See ../Makefile for more details.