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