[O] docs don't make

[Colin Baxter]

The docs do not make in release_8.3.6-1140-gc74f4c. There is the
following error:

makeinfo --no-split org.texi -o org
org.texi:10008: misplaced {
org.texi:10008: misplaced }

Colin.