texi: info files can be generated in the builddir