[...]
My apologies, I'm wrong. I managed to encounter the same error
message as Marc, but not due to configure: I installed texi2html
1.82 into $HOME/usr/, export PATH=$HOME/usr/:$PATH, ran
configure, and compiled the docs fine...
then, another day, I
tried recompiling the docs and it failed. I'd forgotten to add
the PATH to my .profile, so it picked up the debian-installed
version rather than my self-compiled version.
There's probably some similarly odd story behind Marc's error,
unless he ignored the warning from configure.
Cheers,
- Graham