diff options
| -rw-r--r-- | doc/Makefile.local | 2 | ||||
| -rw-r--r-- | doc/conf.py | 5 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/Makefile.local b/doc/Makefile.local index 57104dae..651168f4 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 = sphinx-build +SPHINXBUILD = HAVE_EMACS=${HAVE_EMACS} sphinx-build DOCBUILDDIR := $(dir)/_build # Internal variables. diff --git a/doc/conf.py b/doc/conf.py index 0ef72327..5f8c9f1c 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -29,6 +29,11 @@ release = version # directories to ignore when looking for source files. exclude_patterns = ['_build'] +# If we don't have emacs, don't build the notmuch-emacs docs, as they need +# emacs to generate the docstring include files +if os.environ.get('HAVE_EMACS') != '1': + exclude_patterns.append('notmuch-emacs.rst') + # The name of the Pygments (syntax highlighting) style to use. pygments_style = 'sphinx' |