Shouldn't you just pass a `-nomake docs` or `-make docs` argument to configure?