Subject: Re: bug#46837: Makefile dependencies for info files

From: Michael Albinus <[email-masked]>
Date: Sun, 07 Mar 2021 18:49:04 +0100

Glenn Morris <[email-masked]> writes:

>> Installing makeinfo means installing texinfo, which needs installing TeX
>> (IIUC).
>
> texinfo does not require TeX.

Well, then I'll try this way. Thanks!

Best regards, Michael.