On 2023-08-18 10:11:12 +0900, Michael Paquier wrote:
> On Wed, Aug 09, 2023 at 07:38:40AM -0700, Andres Freund wrote:
> > On 2023-08-09 16:25:28 +0200, Christoph Berg wrote:
> >> Understood, I was just pointing out there are more types of generated
> >> files in there.
> >
> > The situation for configure is somewhat different, due to being maintained in
> > the repository, rather than just being included in the tarball...
>
> This one comes down to Debian that patches autoconf with its own set
> of options, requiring a new ./configure in the tree, right?
I'm not sure what you're really asking here?