build: Remove man/*.? man pages when running 'make clean'.
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 16:18:38 +0000 (16:18 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 8 Jan 2020 16:19:21 +0000 (16:19 +0000)
commitb88599eb9c51240065878c8556976dc1cd805137
treed9ae3c45f1c1cf45dfddf3bc9b087c81a9c6aa2f
parentd513d8b6aa8c70191deb3e1a8392819c9181a8f9
build: Remove man/*.? man pages when running 'make clean'.

Fixes commit abfde4ea239de6b9458243a862d5da0302a241a4.
Goalfile.in