In article <[email protected]>, Robert Elz <[email protected]> wrote: > Date: Sat, 18 Mar 2017 14:03:47 +0100 > From: Joerg Sonnenberger <[email protected]> > Message-ID: <[email protected]> > > | 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
