[m-dev.] question about how to generate texinfo docs

[Julien Fischer]

On Sat, 28 Jun 2025 at 20:36, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:

> The second way would be to change the type of the help text, which now
> is a list of strings, to a list of values of a type like this:
>
> :- type help_element
>     --->  w(string)  % short for "words"
>     ;      quote_file_var(string, string, string)
>     ;      ...
>
> This way would make the help text strongly typed (as opposed to stringly
> typed for the first way). We would get immediate feedback from mmc
> for any mistake, instead of having to wait for the failure of the help_text
> test case. The downside is that making the initial switch is a lot of repetitive work.
> (That is not a downside for you, since I would be doing that work.)
>
> I nevertheless favor the second way. Does anyone object?

No objections from me.

Julien.