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 /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 'Makefile.local')
0 files changed, 0 insertions, 0 deletions