From d6c859a8b0f2e563e7224998529a5dd91896c2d9 Mon Sep 17 00:00:00 2001 From: David Bremner Date: Sat, 11 Jul 2020 10:20:26 -0300 Subject: [PATCH] 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. --- configure | 8 ++++++++ doc/Makefile.local | 2 +- doc/conf.py | 11 ++++++++--- 3 files changed, 17 insertions(+), 4 deletions(-) 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 <