tools: Remove files to be cleaned
authorEdward Hervey <edward@centricular.com>
Wed, 23 Nov 2016 17:56:20 +0000 (18:56 +0100)
committerEdward Hervey <bilboed@bilboed.com>
Wed, 23 Nov 2016 17:56:20 +0000 (18:56 +0100)
commit9cc36e511c4b181f7bc08b2cf8eff54d61cb44a2
treeeb248187ac0a4948a7e66d16c2fb959a40e04615
parente6febb5bc1a003b7b6d702675c6a83e9565e0ae6
tools: Remove files to be cleaned

manpages are no longer auto-generated
cov-related files should not be there (if needed we could use gitignore)
tools/Makefile.am