prevent some of the older base system texinfo utilities from being
used with others from print/texinfo; mark the non-default option
WITH_PDF_MANUALS broken (reported by A. Shterenlikht)