>> - a manpage for texinfo and pdftexinfo is missing
>
> Are the in the original distribution?
There are no texinfo(1) and pdftexinfo(1) man pages in the original
Texinfo distribution -- because the original distribution does not
create programs named "texinfo" and "pdftexinfo".