From: David Bremner Date: Sat, 11 Jul 2020 13:20:26 +0000 (-0300) Subject: doc: replace use of environment variables with a generated config X-Git-Url: https://git.cworth.org/git?a=commitdiff_plain;h=d6c859a8b0f2e563e7224998529a5dd91896c2d9;p=notmuch-old doc: replace use of environment variables with a generated config I don't love the use of exec, but it is getting unwieldy to pass configuration options on the sphinx-build command line, and I anticipate further use of conditionals. --- diff --git a/configure b/configure index 4e16ff40..0c4e5af1 100755 --- a/configure +++ b/configure @@ -1548,6 +1548,14 @@ NOTMUCH_HAVE_PYTHON3_PYTEST=${have_python3_pytest} PLATFORM=${platform} EOF +cat > sphinx.config <> sphinx.config +fi +printf "rsti_dir = '%s'\n" $(realpath emacs) >> sphinx.config + # Finally, after everything configured, inform the user how to continue. cat <