[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: fix for source includes in gendoc.sh for future consideration
From: |
Patrice Dumas |
Subject: |
Re: fix for source includes in gendoc.sh for future consideration |
Date: |
Sun, 28 Jan 2024 18:50:05 +0100 |
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