I could distribute just the .texi.in file and still get
autoreconf/automake/packaging to work. Right now, I get an error
about a missing .texi file
I thought Mike's fix (-e ... /dev/null) should already have fixed that?
Well, in any case, it's not bad to check for the .texi.in, so
I meant to include the patch I actually applied.
commit 5c85a9d31830a61facc298fa7d7d82f5651f1a6c
Author: Bogdan
AuthorDate: Thu Jul 13 15:32:34 2023 -0700
texi: assume .texi.in generates .texi.
This change refines the fix for https://bugs.gnu.org/54063.
* bin/automake.in
Karl Berry , Fri Jul 14 2023 00:34:39 GMT+0200
(Central European Summer Time)
Bogdan, Pat, Gavin, all - back on this bug:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54063
Subject: bug#54063: - special case] Try .texi.in when .texi missing
Bogdan - the basic idea of your patch
On Thu, Jul 13, 2023 at 04:34:39PM -0600, Karl Berry wrote:
> Bogdan, Pat, Gavin, all - back on this bug:
>
> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54063
> Subject: bug#54063: - special case] Try .texi.in when .texi missing
>
> As previously discussed in this bug, I added a