reduce number of warning messages when building docs

Warnings were emitted for every info file (twice) instead of once.