Subject: Re: [boost] [docs] Documentation on Github?
From: Daniel James (dnljms_at_[hidden])
Date: 2017-09-17 12:50:12
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:
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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk