Remove warnings about installing documentation and examples. The only users
who will see those messages are users who have already accepted those options
in make config.