Use CMake WARNINGs only when not building the manual
Bump patch number