Subject: Re: [Boost-docs] Boost.Python docs update
From: Stefan Seefeld (stefan_at_[hidden])
Date: 2015-08-12 08:09:15
On 11/08/15 07:16 PM, Daniel James wrote:
> On 11 August 2015 at 22:19, Daniel James <dnljms_at_[hidden]> wrote:
>> On 5 August 2015 at 13:15, Stefan Seefeld <stefan_at_[hidden]> wrote:
>>> I'm still not entirely sure how the integration with the Boost.org
>>> website is done, so I'd like to ask for some advice. Is there a way to
>>> test this ? Should I just wait to see what happens after the next
>>> release ? Any help is much appreciated.
>> I'll add it to the build script and rebuild the develop documentation
>> tomorrow morning. It I don't forget and the build works, you'll be
>> able to get to it from:
> I had a quick try at building it, and it failed because
> 'boost.defaults' gets set twice.
Where does it get set the other time ? I only set it once, and I don't
understand what may differ between your setup and mine, i.e. why I don't
see this error.
Is the process you follow to regenerate
http://www.boost.org/doc/libs/develop/ documented anywhere ? It would be
useful if I could try myself, so I can reproduce the issue(s) you are
seeing and fix it without having to for forth and back...
> If you want to overwrite it you first
> have to unset the default setting with something like:
> Not sure why you're changing it though. It's generally easier just to
> override the individual settings if you find the defaults intolerable.
I change it because I use the generated HTML stand-alone (see
http://boostorg.github.io/python), where the links injected by
boost.defaults=Boost wouldn't work (and wouldn't make sense anyhow).
-- ...ich hab' noch einen Koffer in Berlin...
This archive was generated by hypermail 2.1.7 : 2017-11-11 08:50:41 UTC