Re: CVS commit: src/bin/sh

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

In article <12092.1489848080%andromeda.noi.kre.to@localhost>,
Robert Elz  <kre%munnari.OZ.AU@localhost> wrote:
>    Date:        Sat, 18 Mar 2017 14:03:47 +0100
>    From:        Joerg Sonnenberger <joerg%bec.de@localhost>
>    Message-ID:  <20170318130347.GB25936%britannica.bec.de@localhost>
>
>  | Sure, my point is primarily about the HTML man page.
>
>Yes, I guessed that.
>
>  | Just like you don't clean the cat page by hand.
>
>What are you suggesting it should do?   All the other output files get
>removed by make clean, is there some reason why that one in particular
>should not?
>
>The distclean target still also removes all the depend files, and similar
>which clean does not.

It should be consistent... We currently have:

cleandir: remove .d .html .[1-9] + clean
clean: remove objects, binaries, generated files

christos