On Mon, 3 Feb 2003, Joel Sherrill wrote: > $ makeinfo --version > makeinfo (GNU texinfo) 4.0b > > Are people getting these on other targets or is my makeinfo out of date? You need at least makeinfo 4.1 on the 3.2 branch and 4.2 for 3.3 branch and mainline. (The current release is 4.4.) -- Joseph S. Myers jsm28@cam.ac.uk