Carsten Dominik wrote:
>Great!  Could you please submit a patch which fixes this in the manual
>and also replaces
>texinfo.tex?

Looks like the message with the patch is to large for the mailing list
(returns to sender).  So there is

git://github.com/dmj/dmj-org-mode.git fix/doc-texinfo-template

to pull from.

HTH,
  -- David
--
OpenPGP... 0x99ADB83B5A4478E6
Jabber.... dmjena@jabber.org
Email..... dmaus@ictsoc.de