On Sun, Jan 28, 2024 at 08:49:36PM +0000, Gavin Smith wrote: > > I like get_build_constant or get_build_configuration_value. I couldn't > think of an alternative to the word "build" to represent a certain > installed version of Texinfo but there might be one.
Let's go with get_build_constant, then. -- Pat