HEADS UP: GNU texinfo has been upgraded to 4.0

2000-01-17 Thread Ruslan Ermilov
[CC'ed explicitly to Peter Wemm, because he was the person] [who requested --forceentry for install-info(1), see below] Hi! I've just upgraded our GNU texinfo to the latest available version 4.0. Please see src/contrib/texinfo/NEWS for what has been changed since 3.12. It should be built with

Re: HEADS UP: GNU texinfo has been upgraded to 4.0

2000-01-17 Thread Sheldon Hearn
On Mon, 17 Jan 2000 14:22:39 +0200, Ruslan Ermilov wrote: I've just upgraded our GNU texinfo to the latest available version 4.0. Please see src/contrib/texinfo/NEWS for what has been changed since 3.12. Excellent! src/contrib/texinfo/NEWS: . New markup commands: @env (for environment