K 10
svn:author
V 2
bf
K 8
svn:date
V 27
2012-05-21T05:18:35.000000Z
K 7
svn:log
V 186
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)

END
