Closed laschuet closed 5 years ago
This PR builds and deploys the documentation via Travis CI. If I'm not mistaken, the contents of the branch gh-pages should be removed first, and SSH deployment keys probably need to be added to GitHub and Travis.
gh-pages
Thanks. Let me figure out how to get the keys loaded.
This PR builds and deploys the documentation via Travis CI. If I'm not mistaken, the contents of the branch
gh-pages
should be removed first, and SSH deployment keys probably need to be added to GitHub and Travis.