Remove ALL from add_custom_target(doc ...) so doc is not built twice.