build. OPTION default to off, override in the PACKAGE_BUILDING case and if doxygen is already installed.