Re: fix for source includes in gendoc.sh for future consideration

[Patrice Dumas]

On Sun, Jan 28, 2024 at 03:36:26PM +0100, Bruno Haible wrote:
> Hi Patrice,
> 
> Patrice Dumas wrote:
>   2. Wait 10 years (or such), until no one uses the older versions
>      any more. Look at https://repology.org/project/texinfo/versions
>      to get a feeling when this time has come.

There are discontinued distros there, so it is a bit misleading, in that
precise case I think that, even though Texinfo 4.13 appears, it is not
really needed as it seems to be either parallel installable or in
discontinued distros.  That being said, it indeed gives a feeling of
what to try to be compatible with.

> Similarly, I think the following piece of code should work to test the
> version of 'makeinfo':
> 
>       case `${MAKEINFO-makeinfo} --version | sed -e 's/^[^0-9]*//' -e 1q` in \
>         [1-6]* | 7.[01]*) false;; \
>         *) true;; \
>       esac

Looks good.

Here is an updated patch.  At least on my side, I think that it is
ready, the only thing that could be added would be a comment with the
actual release number of Texinfo in which --trace-includes appeared. It
may be strange to apply it now, before the Texinfo release, however.  I
can re-propose it after the Texinfo release, you tell me.

-- 
Pat

gendocs_trace_includes_files_from.diff
Description: Text Data