The node you are looking for is at Definition of substitute-in-file-name.