From: David Bremner <david@tethera.net>
Date: Sat, 12 Jul 2014 21:04:52 +0000 (-0300)
Subject: docs: remove spurious man page generated from doxygen
X-Git-Tag: address-command-v2~143
X-Git-Url: http://rtime.felk.cvut.cz/gitweb/notmuch.git/commitdiff_plain/5694d72a8367931776890e3a8ffb23e5bf5b34b7

docs: remove spurious man page generated from doxygen

There is a doxygen bug about these odd files,

      https://bugzilla.gnome.org/show_bug.cgi?id=727796

But it isn't clear if / when a fix will be provided, so just delete it
to avoid e.g. confusing man-to-wiki.pl
---

diff --git a/doc/Makefile.local b/doc/Makefile.local
index 9b6cfe58..08874139 100644
--- a/doc/Makefile.local
+++ b/doc/Makefile.local
@@ -70,6 +70,7 @@ install-apidocs: apidocs
 $(APIMAN): $(dir)/config.dox $(srcdir)/$(dir)/doxygen.cfg $(srcdir)/lib/notmuch.h
 	mkdir -p $(DOCBUILDDIR)/man/man3
 	doxygen $(DOXYFILE)
+	rm $(DOCBUILDDIR)/man/man3/_*.3
 	perl -pi -e 's/^[.]RI "\\fI/.RI "\\fP/' $(APIMAN)
 else
 apidocs: