On Tue, 9 Nov 2021 at 16:42, Paul Eggert <eggert@cs.ucla.edu> wrote:
On 11/9/21 02:30, Stephen Colebourne via tz wrote:
Alternate approaches to this problem are possible. For example, a new file could be created for each section.
This alternative sounds good to me, as I've had bad luck in the past with "comments" that are actually part of an API. Separating the Link commands into different .zi files would make it easy for downstream users to select which links they want by specifying the already-existing Makefile variable BACKWARD. For compatibility with uses that assume a file named 'backward', we could build 'backward' from the concatenation of these new .zi files.
I don't have a problem with that, although it seems like more work than using comments. I'd be interested in your view as to how to group the IDs. Certainly an `obsolete` file would make a lot of sense. Stephen