The patches to fix that are below. Ok, installed.
(Btw, does the fact that I can check out the repository using svn+ssh
and my savannah user name mean that I can commit changes myself?)
Yes. (You've been a member of the texinfo project on savannah for a very
long time. Maybe originally set up so you could fix the djgpp stuff
without a middleman? That's my very vague memory.)
karl
