Re: Manual page and library file

[Patrice Dumas]

On Sat, Jan 18, 2025 at 10:52:19PM +0100, Preuße, Hilmar wrote:
> As far as I understand this is now implemented and as of TeXinfo 7.x (x > 2)
> the .la can be dropped, correct?

That is supposed to work, yes.

-- 
Pat