Fix documentation flag on ./configure script