Failing doxygen build

[Matthias Braun via llvm-commits]

Hi,

our (internal) jenkins job which creates llvm doxygen documentation, started failing with this error:

---
[5/5] Generating html Sphinx documentation for clang into "/Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/tools/clang/docs/html"

FAILED: cd /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs && /usr/local/bin/sphinx-build -b html -d /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs/_doctrees -q -W /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/clang/src/docs /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs/html


Warning, treated as error:
/Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/clang/src/docs/CommandGuide/llvm-profdata.rst:2: SEVERE: Duplicate ID: "cmdoption-llvm-profdata-merge-binary".

FAILED: cd /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs && /usr/local/bin/sphinx-build -b man -d /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs/_doctrees -q -W /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/clang/src/docs /Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/build/docs/man

Warning, treated as error:
/Users/Shared/Jenkins/Home/workspace/apple-clang-docs-stage1-cmake/clang/src/docs/CommandGuide/llvm-profdata.rst:2: SEVERE: Duplicate ID: "cmdoption-llvm-profdata-merge-binary".
---


I assume this was caused by r253913. Could you take a look?

- Matthias