info_TEXINFOS = guile-vm.texi