*.texi files not generated

[Michael Godfrey]

On my system (Fedora FC11) I find that since a recent
changeset, the step that should run:
make *.texi  does not happen.
No .texi files are generated.

I can overcome this with make -i
But, obviously, this should be fixed.

I looked in the hg logs, and you seem to be the person who
changed the build sequence most recently.  Is there
a chance that these problem is caused by one of your
changes?

I apologize if this is not your fault..

Michael