diff options
| author | David Bremner <david@tethera.net> | 2020-07-11 10:20:26 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2020-07-15 08:32:15 -0300 |
| commit | 0e03e2d45e36edb635229f356bf41f153c30a70f (patch) | |
| tree | 523cef4c6c6be805f06bff83b4fc5eee1eef78ff /doc/Makefile.local | |
| parent | 78e9b3467d9f09228a444bb2eec93e4c765b7e9b (diff) | |
doc: replace use of environment variables with a generated config
It is getting unwieldy to pass configuration options on the
sphinx-build command line, and I anticipate further use of
conditionals.
As far as I could tell, execing a string is the idiomatic way to
emulate include in Python.
Diffstat (limited to 'doc/Makefile.local')
| -rw-r--r-- | doc/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 19b953ed..30411341 100644 --- a/doc/Makefile.local +++ b/doc/Makefile.local @@ -4,7 +4,7 @@ dir := doc # You can set these variables from the command line. SPHINXOPTS := -q -SPHINXBUILD = WITH_EMACS=${WITH_EMACS} RSTI_DIR=$(realpath emacs) sphinx-build +SPHINXBUILD = sphinx-build DOCBUILDDIR := $(dir)/_build # Internal variables. |