itojun@iijlab.net writes:
> >You need to install a new makeinfo.  Which may be a bit of a 
> >problem if it's built after the info files are created.  So
> >you may need to explicitly build src/gnu/usr.bin/texinfo/common
> >and src/gnu/usr.bin/texinfo/makeinfo.
> 
> 	it repeated for me too.  pls mention it in src/UPDATING, or tweak
> 	Makefile so that makeinfo gets installed earlier in the stage...

It's my fault, and I've just committed the following in src/UPDATING:

20010726:
	Texinfo was updated to 4.0.  To avoid failures when trying to
	build the included texinfo files, use MKINFO=no before the new
	makeinfo has been installed.

How should this be done?

/assar