Update texi2html with version from mysqldoc repository.
  (Please merge this forward to 4.0, 4.1, 5.0.)


Docs/Support/texi2html:
  Update texi2html with version from mysqldoc repository.
  (Please merge this forward to 4.0, 4.1, 5.0.)
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted