Hi, [Info files being built in source dir]
> FWIW, having a read only source directory is our goal. When the source dir is readonly, noone can change the texinfo files. If noone can change the texinfo files, there is no need to rebuild the info files, so it doesn't matter that they're in a readonly directory. Simon -- GPG Fingerprint: 040E B5F7 84F1 4FBC CEAD ADC6 18A0 CC8D 5706 A4B4
