We messed up the docs

[saschatimme]

During the update to 0.7/1.0 we didn't change for which version the docs should be deployed. So now there is no documentation available for a couple of releases -.- (I just fixed it for master). Is there an easier way than manually building and pushing on the gh pages branch?

[blegat]

Is there an easier way than manually building and pushing on the gh pages branch?

What do you mean ? It is not done manually, it is done automatically by travis

[saschatimme]

But not for the missed releases (there are no tagged docs starting from 0.1.3.). Only if the current built commit is a also a tag, a tagged version is pushed to gh branches.

[blegat]

Ah ok I see your point. then I see no easier way no :/