diff options
| author | David Bremner <david@tethera.net> | 2020-05-31 13:15:03 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2020-06-01 09:07:50 -0300 |
| commit | ee8dba1c3013a00c0d1185583ea084f8ce3699b7 (patch) | |
| tree | 2c54906711a63e16845a34b02cb27cb191b517d0 /doc/Makefile.local | |
| parent | 16d073ebe8fe062bb733165bdb10d7d2937616b5 (diff) | |
doc: fix for out-of-tree builds of notmuch-emacs docs
The sphinx-doc include directive does not have the ability to include
files from the build tree, so we replace the include with reading the
files in conf.py. The non-trivial downside of this is that the emacs
docstrings are now defined for every rst source file. They are
namespaced with docstring::, so hopefully there will not be any
surprises. One thing that is noticable is a small (absolute) time
penalty in running sphinx-doc.
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 b4e0c955..769438ed 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} sphinx-build +SPHINXBUILD = WITH_EMACS=${WITH_EMACS} RSTI_DIR=$(realpath emacs) sphinx-build DOCBUILDDIR := $(dir)/_build # Internal variables. |