Re: Manual page and library file
Patrice Dumas <[email protected]> Sat, 18 Jan 2025 22:59:20 +0100
| Newsgroups | gmane.comp.tex.texinfo.general |
|---|---|
| Message-ID | <[email protected]> |
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