Date: Sat, 18 Mar 2017 14:57:41 +0000 (UTC)
From: chris...@astron.com (Christos Zoulas)
Message-ID: <oajht5$9i9$1...@blaine.gmane.org>
| It should be consistent...
That makes sense, but to me that would mean that clean removes files
generated by make ("make all"), and cleandir removes files generated
by make depend (+clean)
That's consistent - leaving one "make all" file behind after "make clean"
just looks weird.
But if it is really important that sh.html1 be left behind after a
"make clean", then please just revert that part of the change.
kre
