tm.texi.in (Misc): Add newline before @end.