Today's CI fails in the "make dist" step: make distdir-am make[8]: Entering directory '/home/runner/work/ci-check/ci-check/texinfo/tta/tests/other' make[8]: *** No rule to make target 'index_collation_script_test.texi', needed by 'distdir-am'. Stop.
It looks like commit 8b9e3ba47dbde67f4d16d8e9c2b68365a0d46558 was meant to add a file tta/tests/other/index_collation_script_test.texi, but it didn't. Bruno
