Support <nodoc> build profile (Closes: #1057054)

Gioele Barabuccirequested to merge
gioele/findutils:bprofile-nodoc into master

texinfo is not needed when the <nodoc> build profile is active, as long as MAKEINFO is disabled.

Merge request reports