Subject: Re: [boost] [parameter_python] Merge to master
From: Peter Dimov (lists_at_[hidden])
Date: 2018-10-26 12:23:28
Edward Diener wrote:
> >> I would like to merge parameter_python to 'master' from 'develop'.
> >> Does anybody see anything wrong with this ?
Not I.
> There are also some of Peter Dimov's fixes to the doc jamfile in
> 'develop'.
And these fixes are necessary for the documentation to actually build. The
documentation build for `parameter` never worked, but nobody noticed because
the .html files are in the repo and were being used. So yes, this needs to
be merged.