On Fri, Jan 26, 2024 at 11:49:31PM +0100, Patrice Dumas wrote: > Yes, I have something preliminary that I attached.
Here it is. -- Pat
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh index b0433c798f..68c010a42c 100755 --- a/build-aux/gendocs.sh +++ b/build-aux/gendocs.sh @@ -417,8 +417,16 @@ printf "\nMaking .tar.gz for sources...\n" d=`dirname $srcfile` ( cd "$d" - srcfiles=`ls -d *.texinfo *.texi *.txi *.eps $source_extra 2>/dev/null` || true - tar czfh "$abs_outdir/$PACKAGE.texi.tar.gz" $srcfiles + base=`basename "$srcfile"` + include_files= + cmd="$SETLANG $MAKEINFO $commonarg -c SHOW_INCLUDE_FILE_PATHS=1 \"$base\"" + eval "$cmd" > includes_list.tmp + while read include_file ; do + include_files="$include_files $include_file" + done < includes_list.tmp + rm includes_list.tmp + other_srcfiles=`ls -d *.eps $source_extra 2>/dev/null` || true + tar czfh "$abs_outdir/$PACKAGE.texi.tar.gz" $base $include_files $other_srcfiles ls -l "$abs_outdir/$PACKAGE.texi.tar.gz" ) texi_tgz_size=`calcsize "$outdir/$PACKAGE.texi.tar.gz"`
