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

The docs were built from the branch 'master' against the commit
7f014b85c262e9516d3456f927820a5f33374ca2.

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

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