Hi Karl.
> Separate from what you're actually reporting ...
>
> @c FIXME: One day, it should not be necessary to have two cases,
> @c but rather just the one without the "txt" final argument.
>
> I remember talking about this with you before, but not what the
> conclusion w
Just to close the loop...
> Date: Tue, 16 Apr 2013 22:24:54 +0300
> From: Eli Zaretskii
> Subject: Re: out of directory formats?
> To: Aharon Robbins
> Cc: bug-texinfo@gnu.org
>
> > From: Aharon Robbins
> > Date: Tue, 16 Apr 2013 22:06:36 +0300
> >
> > If I configure gawk from a directory diff
The last quoted sentence should probably read either
Indeed. Will fix. Thanks Alex!
