A miracle happened and my module, including the documentation, successfully passed through Travis. My joy is clouded just by the fact that I can’t find the documentation anywhere, at least not where I expect it to be published.
Instead, Travis tells me:
From github.com:Leitero/Coimbra.jl
* [new branch] master -> upstream/master
fatal: 'upstream/gh-pages' is not a commit and a branch 'gh-pages'
cannot be created from it. Switched to a new branch 'gh-pages'
[gh-pages (root-commit) 40086dc]. Initial empty commit for docs.
But then Travis creates all the doc-files and says:
remote: Create a pull request for 'gh-pages' on GitHub by visiting:
remote: https://github.com/Leitero/Coimbra.jl/pull/new/gh-pages
Indeed at this address there are the doc files and I am invited to “Compare changes”; on the other hand it tells me “There isn’t anything to compare. master and gh-pages are entirely different commit histories.”
Please help me: how do I get the docs through Travis to leitero.github.io/Coimbra.jl/dev where I expected them?