On Thu, Oct 07, 2021 at 03:19:39PM +0000, Klemens Nanni wrote:
> On Thu, Oct 07, 2021 at 05:00:56PM +0200, Theo Buehler wrote:
> > > +.if make(tags)
> > 
> > I think that should include at least 'make(cleandir)' as well so
> > the tags file gets removed like the others.
> 
> `make clean' does not clean any tag files for me.

I wrote 'make(cleandir)'

$ grep -A2 cleandir: bsd.README
        cleandir:
	                remove all of the files removed by the target clean, as
			well as the tags file.