On 16.01.2016, Rolf Turner wrote: > sudo yum install texinfo > > Package texinfo-4.13a-16.fc17.x86_64 already installed and latest version > > Nothing to do Try with the associated texinfo-devel package.