(root)/
texinfo-7.1/
tp/
t/
include/
inc_file.texi
In included file.