Re: can't update makeinfo from 5.1

2019-11-01 Thread David Nalesnik
On Fri, Nov 1, 2019 at 5:12 AM Werner LEMBERG wrote: > > > > When I run configure, an error is returned saying that makeinfo is > > too old (5,2). When I run sudo apt-get install texinfo, I'm told > > that I have the latest version. makeinfo --version still returns > > 5.2. > > Ouch.

Re: can't update makeinfo from 5.1

2019-11-01 Thread Werner LEMBERG
> When I run configure, an error is returned saying that makeinfo is > too old (5,2). When I run sudo apt-get install texinfo, I'm told > that I have the latest version. makeinfo --version still returns > 5.2. Ouch. `makeinfo` is part of texinfo. Version 5.2 was published September 2013!

can't update makeinfo from 5.1

2019-10-31 Thread David Nalesnik
Hi all, I've been out of the loop for a while, and recently decided to finish work on a patch I had put off. When I run configure, an error is returned saying that makeinfo is too old (5,2). When I run sudo apt-get install texinfo, I'm told that I have the latest version. makeinfo --version