Re: CVS commit: src/bin/sh

[christos%zoulas.com@localhost (Christos Zoulas)]

On Mar 19,  3:43am, kre%munnari.OZ.AU@localhost (Robert Elz) wrote:
-- Subject: Re: CVS commit: src/bin/sh

| 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.

Well, this is how it is for all the rest of the programs; .html are cleaned
by cleandir. I think the rationale was that building docs when you are
debugging is just a waste of time, and having 'make clean' work when you
are debugging as fast as possible is the ultimate goal. Docs were not
considered to be part of the code those days :-)

christos