Re: [O] docs don't make

2016-09-18 Thread Colin Baxter
On Sun, Sep 18 2016, Nicolas Goaziou wrote: > Hello, > > Colin Baxter writes: > >> 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 } > >

Re: [O] docs don't make

2016-09-18 Thread Nicolas Goaziou
Hello, Colin Baxter writes: > 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 } It is the usual 1 am typo. Fixed. Thank you. Regards, --

[O] docs don't make

2016-09-18 Thread 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.