Do not build manual pages.