Fix to the error: unknown option points-at when invoking make docs.