call_plaintext_perl_function.h missing from git

Bruno Haible via Bug reports for the GNU Texinfo documentation system <[email protected]>
Newsgroups gmane.comp.tex.texinfo.bugs
Message-ID <3258850.3c9HiEOlIg@cagnes>
Hi,

Commit a66a874a9eded462fec565337c84a9561fcdf55b (yesterday) introduced a
  #include "call_plaintext_perl_function.h"
but that file is not present in git. This leads to a CI build failure:

/bin/bash ../libtool  --tag=CC   --mode=compile x86_64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I..  -I./main -I./parsetexi -I./convert -I./structuring_transfo -I. -DDATADIR=\"/usr/local/share\" -DSYSCONFDIR=\"/usr/local/etc\" -I../gnulib/lib -I../gnulib/lib  -D_REENTRANT -D_GNU_SOURCE -DDEBIAN -fwrapv -fno-strict-aliasing -pipe -I/usr/local/include -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -fPIC  -MT convert/libtexinfo_convert_la-convert_to_info.lo -MD -MP -MF convert/.deps/libtexinfo_convert_la-convert_to_info.Tpo -c -o convert/libtexinfo_convert_la-convert_to_info.lo `test -f 'convert/convert_to_info.c' || echo './'`convert/convert_to_info.c
libtool: compile:  x86_64-linux-gnu-gcc -DHAVE_CONFIG_H -I. -I.. -I./main -I./parsetexi -I./convert -I./structuring_transfo -I. -DDATADIR=\"/usr/local/share\" -DSYSCONFDIR=\"/usr/local/etc\" -I../gnulib/lib -I../gnulib/lib -D_REENTRANT -D_GNU_SOURCE -DDEBIAN -fwrapv -fno-strict-aliasing -pipe -I/usr/local/include -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -fPIC -MT convert/libtexinfo_convert_la-convert_to_info.lo -MD -MP -MF convert/.deps/libtexinfo_convert_la-convert_to_info.Tpo -c convert/convert_to_info.c  -fPIC -DPIC -o convert/.libs/libtexinfo_convert_la-convert_to_info.o
convert/convert_to_info.c:50:10: fatal error: call_plaintext_perl_function.h: No such file or directory
   50 | #include "call_plaintext_perl_function.h"
      |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make[5]: *** [Makefile:4602: convert/libtexinfo_convert_la-convert_to_info.lo] Error 1
make[5]: Leaving directory '/home/runner/work/ci-check/ci-check/texinfo/tta/C'

Bruno
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.