Re: [boost] [parameter_python] Merge to master

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.