Re: A target that's even more bootstrap?

[Eli Zaretskii]

> From: Lars Ingebrigtsen <address@hidden>
> Date: Thu, 20 Jun 2019 13:32:28 +0200
> Cc: address@hidden
> 
> With the patch below, the only remaining files (not in a clean
> check-out) are:
> 
> +./info
> +./src/config.in
> +./lib/sys
> +./configure
> 
> Should the ./configure file also be deleted by extraclean?

Yes, I think so.

> If I remove src/config.in, then the subsequent "make" after "make
> extraclean" fails with
> 
> config.status: error: cannot find input file: `src/config.in'
> GNUmakefile:72: recipe for target 'Makefile' failed
> 
> and I have to run autogen.sh again...

How is this different from doing the same in a fresh checkout?  is
this because the configure script wasn't removed, or for some other
reason?

> The two directories 
> 
> +./info
> +./lib/sys
> 
> perhaps don't matter, and I'd rather not do an rm -rf on a directory...

Are these directories empty?