Do not build manual pages.
