configure: replace multiple redirects with redirected block

This belatedly implements Tomi's suggestion from

     id:m25zaukv6u.fsf@guru.guru-group.fi
This commit is contained in:
David Bremner 2020-07-15 09:36:27 -03:00
parent 49d630d0f3
commit 7aaf6cbe9a

20
configure vendored
View file

@ -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