Hi Branden,
G. Branden Robinson wrote on Sun, Nov 15, 2020 at 11:49:48PM +1100:
> At 2020-11-14T17:03:42+0100, Ingo Schwarze wrote:
>> I would strongly oppose copying the same text to multiple
>> documentation files. Apart from correctness and completeness,
>> conciseness is among the most impor
As so often happens, Ingo and I are at loggerheads.
At 2020-11-14T17:03:42+0100, Ingo Schwarze wrote:
> I would strongly oppose copying the same text to multiple
> documentation files. Apart from correctness and completeness,
> conciseness is among the most important quality criteria for
> docume
Hi Dave,
Dave Kemper wrote on Sat, Nov 14, 2020 at 06:08:03AM -0600:
> text live in a central file and at build time get integrated (in
> whole or in part) into up to four of these documentation files
I would strongly oppose copying the same text to multiple
documentation files. Apart from corr