Tomi Ollila writes:
> On Sun, Aug 16 2020, David Bremner wrote:
>
>
> For consistency and to save one fork(2) $(exec grep ...), but I could
> live with this, too ;D
>
> So LGTM.
I guess I was a bit impatient. We can add the exec in the next cleanup
pass of configure I guess.
d
_
On Sun, Aug 16 2020, David Bremner wrote:
> This is quite fragile, but it works for now, unlike the python
> version.
>
> In general it seems conf.py is not intended to be evaluated outside of
> sphinx, as it assumes certain global names (in particular "tags") are
> defined.
> ---
>
> I am going
This is quite fragile, but it works for now, unlike the python
version.
In general it seems conf.py is not intended to be evaluated outside of
sphinx, as it assumes certain global names (in particular "tags") are
defined.
---
I am going to apply this to unblock the release process, but I
welcom
