Atom: use BUILD_DOCUMENTATION option