Update docs after building Travis build 37 of ergs/rg-db-public
Update docs after building Travis build 37 of
ergs/rg-db-public

The docs were built from the branch 'master' against the commit
1abd0356ad8f4c808dfa4bc1a1ee61ab6bb7add7.

The Travis build that generated this commit is at
https://travis-ci.org/ergs/rg-db-public/jobs/313684936.

The doctr command that was run is

    /home/travis/miniconda/bin/doctr deploy --deploy-repo ergs/ergs.github.io --deploy-branch-name master --built-docs website/_build/html .

ergs/ergs.github.io,ergs/ergs.github.io