Used to be /usr/share/doc/cmake-docs/: a leftover from cmake-docs -> cmake-doc rename. (LP: #669197)
Signed-off-by: Kai Wasserbäch <debian@carbon-project.org>