diff options
author | David Bremner <david@tethera.net> | 2020-07-15 09:36:27 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-07-18 11:54:54 -0300 |
commit | 7aaf6cbe9ac20d99046d1bdf260fe0fa72519760 (patch) | |
tree | 1e2e5e39644444713fb8e7cfc7a1a0fab149c1aa /configure | |
parent | 49d630d0f389e0bfb08a83178582f4a38f1ec664 (diff) |
configure: replace multiple redirects with redirected block
This belatedly implements Tomi's suggestion from
id:m25zaukv6u.fsf@guru.guru-group.fi
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -1551,16 +1551,16 @@ NOTMUCH_HAVE_PYTHON3_PYTEST=${have_python3_pytest} PLATFORM=${platform} EOF -cat > sphinx.config <<EOF -# Generated by configure, run from doc/conf.py -EOF -if [ $WITH_EMACS = "1" ]; then - printf "tags.add('WITH_EMACS')\n" >> 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 <<EOF |