(root)/
texinfo-7.1/
tp/
t/
include/
included_file_with_setfilename.texi
@setfilename included_file.info

In included file.