This is file, produced by makeinfo version 4.13 from
space_end_setfilename.texi.

