On Sat, Mar 09, 2013 at 10:32:11AM +0100, Bastien wrote:
> Hi Rick,

> One thing you may double-check in the meantime is: is it
> compatible with the org-info.js utility?  The default should
> be "yes", even if users can replace "div" by something else
> (e.g. for the needs of specific backends.)

Yes. Checked the code and tested the script. It works on element ids
and not element types, so changing the element type from `div' has no
effect.

The things that will break infojs are changing the following ids:

    - content
    - postamble
    - footnotes
    - table-of-contents
    - text-table-of-content
    - text-{slidenum}
              
Note that the current implementation of `org-html-divs' will
potentially break infojs as well.

Attached is a revised patch with the fixes Nicolas found for the
doc-string and the missing closing element.

rick