Re: CVS commit: src/bin/sh

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Sat, 18 Mar 2017 14:57:41 +0000 (UTC)
    From:        christos%astron.com@localhost (Christos Zoulas)
    Message-ID:  <oajht5$9i9$1%blaine.gmane.org@localhost>

  | 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