Record command used to produce the .y file in that file.