Boost logo

Boost :

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
<boost_at_[hidden]> wrote:
> 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, gregod at, cpdaniel at, john at