17 Sep
2017
17 Sep
'17
12:50 p.m.
On 17 September 2017 at 12:55, John Maddock via Boost
Nod. I realise that, but I had to make some changes to the source/build process to make all the links work, plus it's a manual process to merge and push stuff to the gh-pages branch, I wondered if anyone had succeeded in automating it?
This is my script for updating the branch: https://github.com/boostorg/quickbook/blob/develop/build/publish-docs I guess it could be run automatically, but I prefer to run it manually when I wish to. There is a special case for index.html because gh-pages branch has a different redirect.