Documentation built with cmake