The node you are looking for is at Using the Coq project file.