* [PATCH] doc: make man pages depend on emacs docstrings
@ 2018-12-20 8:32 David Bremner
2018-12-21 12:01 ` David Bremner
0 siblings, 1 reply; 2+ messages in thread
From: David Bremner @ 2018-12-20 8:32 UTC (permalink / raw)
To: notmuch
This is nonsensical on the face of it, but is needed (for now) because
the notmuch-emacs page is unconditionally included in index.rst.
---
doc/Makefile.local | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/Makefile.local b/doc/Makefile.local
index eec9c228..f53b3702 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -38,7 +38,7 @@ INFO_INFO_FILES := $(INFO_TEXI_FILES:.texi=.info)
rm -f $@ && gzip --stdout $^ > $@
ifeq ($(WITH_EMACS),1)
-sphinx-html sphinx-texinfo: docstring.stamp
+$(DOCBUILDDIR)/.roff.stamp sphinx-html sphinx-texinfo: docstring.stamp
endif
sphinx-html:
--
2.19.1
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH] doc: make man pages depend on emacs docstrings
2018-12-20 8:32 [PATCH] doc: make man pages depend on emacs docstrings David Bremner
@ 2018-12-21 12:01 ` David Bremner
0 siblings, 0 replies; 2+ messages in thread
From: David Bremner @ 2018-12-21 12:01 UTC (permalink / raw)
To: notmuch
David Bremner <david@tethera.net> writes:
> This is nonsensical on the face of it, but is needed (for now) because
> the notmuch-emacs page is unconditionally included in index.rst.
pushed to master.
d
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2018-12-21 12:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-12-20 8:32 [PATCH] doc: make man pages depend on emacs docstrings David Bremner
2018-12-21 12:01 ` David Bremner
Code repositories for project(s) associated with this public inbox
https://yhetil.org/notmuch.git/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).