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.
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.