On Thu, Oct 07, 2021 at 05:22:26PM +0200, Theo Buehler wrote:
> 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)'

Ah, my bad.

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

That works and I'll include it in the final patch.