-
Bernd Flemisch authored
`make install` din't work anymore since files listed in some `CMakeLists.txt` couldn't be found. With this patch, `make install` completes without error. I haven't checked if the installed stuff can actually be used. Thanks to Markus Blatt for pointing this out.
c967b4f5