Re: install.info failure

[dana <dana@xxxxxxx>]

On 2 Jun 2021, at 01:33, Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> Anyone else care to comment on that?

I'm not sure I understand the root issue here, but, just in terms of
consistency with the rest of the documentation, neither of the proposed
changes seem ideal, do they? I don't know enough about Yodl to know what else
to do off the top of my head, though

dana