Fix to the error: unknown option points-at when invoking make docs.
Merge branch 'dev'