do not auto-build documentation

Use 'ninja doc' or 'make doc' instead.