[PATCH] docs: remote spurious man page generated from doxygen
David Bremner
david at tethera.net
Sat Jul 12 14:04:52 PDT 2014
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
---
doc/Makefile.local | 1 +
1 file changed, 1 insertion(+)
diff --git a/doc/Makefile.local b/doc/Makefile.local
index 9b6cfe5..0887413 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:
--
2.0.0
More information about the notmuch
mailing list