In article <12092.1489848...@andromeda.noi.kre.to>, Robert Elz <k...@munnari.oz.au> wrote: > Date: Sat, 18 Mar 2017 14:03:47 +0100 > From: Joerg Sonnenberger <jo...@bec.de> > Message-ID: <20170318130347.gb25...@britannica.bec.de> > > | 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
