[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: CVS commit: src/bin/sh
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
>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
Main Index |
Thread Index |