OOps. Looks like I accidentally fixed the CMake file. Obviously the old install section did not install any file, so they never made it into the package. Anyway, I'll move them to a -devel-doc