-
Christoph Grüninger authored
Needed to build the documentation only for make doc. Avoid name clashes by adding MANGLE_TARGET_NAMES. With CMake 3.0.0 no more warnings are emitted by building the documentation.
fef31ca5
Needed to build the documentation only for make doc. Avoid name clashes by adding MANGLE_TARGET_NAMES. With CMake 3.0.0 no more warnings are emitted by building the documentation.