(texinfo-format-buffer-1): Insert, here, the info about what file this is and what it was made from, just before returning. (texinfo-format-setfilename): Generate no output.