Subject: texinfo too old
To: None <>
From: Manuel Bouyer <>
List: tech-pkg
Date: 10/14/2002 16:00:41
I've run into a problem on NetBSD trying to make a package for GNU grep-2.5:
it doesn't work on NetBSD 1.5.3 because /usr/bin/texinfo is too old:
cd .  && /usr/bin/makeinfo    `echo grep.texi | sed 's,.*/,,'`
Making info file `' from `grep.texi'.
grep.texi:31: Unknown command `command'.
grep.texi:31: Misplaced {.
grep.texi:31: Misplaced }.
grep.texi:88: No matching `@end ifnottex'.

Has anyone else run in such problem ? What is the right way to solve this ?

Manuel Bouyer, LIP6, Universite Paris VI.