Re: [PATCH] configure: replace multiple redirects with redirected block

2020-07-18 Thread David Bremner
David Bremner  writes:

> This belatedly implements Tomi's suggestion from
>
>  id:m25zaukv6u@guru.guru-group.fi

applied to master.

d
___
notmuch mailing list -- notmuch@notmuchmail.org
To unsubscribe send an email to notmuch-le...@notmuchmail.org


[PATCH] configure: replace multiple redirects with redirected block

2020-07-15 Thread David Bremner
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 +1549,16 @@ NOTMUCH_HAVE_PYTHON3_PYTEST=${have_python3_pytest}
 PLATFORM=${platform}
 EOF
 
-cat > sphinx.config <> sphinx.config
-fi
-if [ $WITH_PYTHON_DOCS = "1" ]; then
-printf "tags.add('WITH_PYTHON')\n" >> sphinx.config
-fi
-printf "rsti_dir = '%s'\n" $(realpath emacs) >> sphinx.config
+{
+echo "# Generated by configure, run from doc/conf.py"
+if [ $WITH_EMACS = "1" ]; then
+echo "tags.add('WITH_EMACS')"
+fi
+if [ $WITH_PYTHON_DOCS = "1" ]; then
+echo "tags.add('WITH_PYTHON')"
+fi
+printf "rsti_dir = '%s'\n" $(realpath emacs)
+} > sphinx.config
 
 # Finally, after everything configured, inform the user how to continue.
 cat <