[PATCH] docs: remote spurious man page generated from doxygen

2014-07-13 Thread Jani Nikula
s/remote/remove/ in subject. BR, Jani. On Jul 13, 2014 12:05 AM, "David Bremner" wrote: > > 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.

[PATCH] docs: remote spurious man page generated from doxygen

2014-07-13 Thread David Bremner
Jani Nikula writes: > s/remote/remove/ in subject. > > BR, > Jani. pushed typofixed version. d

Re: [PATCH] docs: remote spurious man page generated from doxygen

2014-07-13 Thread David Bremner
Jani Nikula j...@nikula.org writes: s/remote/remove/ in subject. BR, Jani. pushed typofixed version. d ___ notmuch mailing list notmuch@notmuchmail.org http://notmuchmail.org/mailman/listinfo/notmuch

[PATCH] docs: remote spurious man page generated from doxygen

2014-07-12 Thread David Bremner
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

[PATCH] docs: remote spurious man page generated from doxygen

2014-07-12 Thread David Bremner
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