Re: info files index generation on fedora 30 - how does the 'dir' file get generated?