diff options
| author | David Bremner <david@tethera.net> | 2019-06-11 21:12:38 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-06-12 19:58:30 -0300 |
| commit | a6a8df7e0379bfb6e69b9541d7813ac71f624f2e (patch) | |
| tree | 880cb7683a59c238500d9143dcc342f2c6a38af5 /doc/conf.py | |
| parent | 0a2929c341b6d5f20210725facf37a6e2c3a19b4 (diff) | |
build: drop variable HAVE_EMACS. use WITH_EMACS instead
The extra flexibility of having both HAVE_EMACS (for yes, there is an
emacs we can use) and WITH_EMACS (the user wants emacs support) lead
to confusion and bugs. We now just force WITH_EMACS to 0 if no
suitable emacs is detected.
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 8afff929..fc9738ff 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -32,7 +32,7 @@ exclude_patterns = ['_build'] # If we don't have emacs (or the user configured --without-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' or os.environ.get('WITH_EMACS') != '1': +if os.environ.get('WITH_EMACS') != '1': exclude_patterns.append('notmuch-emacs.rst') # The name of the Pygments (syntax highlighting) style to use. |