Hi,
The CI reports today that, unlike a week ago, "make distcheck" fails:
(cd info && make top_distdir=../texinfo-7.2.20250721dev
distdir=../texinfo-7.2.20250721dev/info \
am__remove_distdir=: am__skip_length_check=: am__skip_mode_fix=: distdir)
make[3]: Entering directory '/home/runner/work/ci-check/ci-check/texinfo/info'
make distdir-am
make[4]: Entering directory '/home/runner/work/ci-check/ci-check/texinfo/info'
make[4]: *** No rule to make target ' infomap.c', needed by 'distdir-am'. Stop.
make[4]: Leaving directory '/home/runner/work/ci-check/ci-check/texinfo/info'
make[3]: *** [Makefile:3173: distdir] Error 2
The cause is apparently that after commit
a2fee21404fcf08d07b5958dc384ce2e496aeb81,
info/Makefile.am line 56 requests the file named ' infomap.c' to be packaged,
but what you want to package is 'infomap.c' instead.
Bruno
