diff options
author | David Bremner <david@tethera.net> | 2014-07-12 18:04:52 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-07-13 08:59:02 -0300 |
commit | 5694d72a8367931776890e3a8ffb23e5bf5b34b7 (patch) | |
tree | cfbfcc13cffc9f00f84e59dd43230e49b934ed3b /doc/Makefile.local | |
parent | b10b5115f82b251fe4bd7db2eea1db7efe530093 (diff) |
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
Diffstat (limited to 'doc/Makefile.local')
-rw-r--r-- | doc/Makefile.local | 1 |
1 files changed, 1 insertions, 0 deletions
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: |