Fix docs installation directory
v4.2