texinfo 5.1 rpmlint output