[PATCH] configure: replace multiple redirects with redirected block

This belatedly implements Tomi's suggestion from id:m25zaukv6u@guru.guru-group.fi --- configure | 20 ++-- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/configure b/configure index b4ee7f37..d3b843b9 100755 --- a/configure +++ b/configure @@ -1549,16

Re: [PATCH] doc: set up for autoapi / readthedocs compatibility

Floris Bruynooghe writes: > > I didn't actually try out how much better autodoc does, I should > probably try that too before commenting further. Thanks to both of you for feedback. I've applied the first two to master. It seems tricky to have autodoc on readthedocs without having notmuch2 in

Re: [PATCH 1/2] doc: replace use of environment variables with a generated config

Tomi Ollila writes: > > perhaps instead of multiple redirections to the file, > > { > echo "# Generated by configure, run from doc/conf.py" > echo > if [ $WITH_EMACS = "1" ]; then > printf "tags.add('WITH_EMACS')\n" > fi > printf "rsti_dir = '%s'\n" "$(realpath