mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-21 18:38:08 +01:00
5694d72a83
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 |
||
---|---|---|
.. | ||
man1 | ||
man5 | ||
man7 | ||
.gitignore | ||
conf.py | ||
doxygen.cfg | ||
index.rst | ||
INSTALL | ||
Makefile | ||
Makefile.local | ||
mkdocdeps.py | ||
notmuch-emacs.rst | ||
prerst2man.py |