do not install oracle man pages when WITH_ORACLE is not set