Ah, my bad. Arch Linux 64bit. On Apr 14, 2014 3:04 PM, "Craig Earls" <[email protected]> wrote:
> Thanks Johann, what platform? > > On Mon, Apr 14, 2014 at 5:40 AM, Johann Klähn <[email protected]> wrote: > > No, runs fine here. > > > > makeinfo (GNU texinfo) 5.2 > > texi2pdf (GNU Texinfo 5.2) 5381 > > > > > > On Mon, Apr 14, 2014 at 2:24 PM, Craig Earls <[email protected]> wrote: > >> > >> John and I are seeing a strange documentation build failure on OS X. > >> Can someone on another platform run tools/gendocs.sh from the doc > >> directory and tell me if you see the following: > >> > >> 20:46:35 ~/source/ledger-devel/doc (master) > ../tools/gendocs.sh > >> > >> ===================================== Making Info... > >> > >> ledger3.texi:143: warning: unrecognized encoding name `UTF-8'. > >> > >> ===================================== Making PDF... > >> > >> sed: 2: "s/\(^\|.* \)@documenten ...": whitespace after branch > >> > >> sed: 4: "s/\(^\|.* \)@documenten ...": whitespace after label > >> > >> sed: 6: "s/\(^\|.* \)@documenten ...": undefined label 'found > >> > >> > >> This error was not there a few months ago and may be a result of some > >> tool changes on OS X. > >> -- > >> Craig, Corona De Tucson, AZ > >> enderw88.wordpress.com > >> > >> -- > >> > >> --- > >> You received this message because you are subscribed to the Google > Groups > >> "Ledger" group. > >> To unsubscribe from this group and stop receiving emails from it, send > an > >> email to [email protected]. > >> For more options, visit https://groups.google.com/d/optout. > > > > > > -- > > > > --- > > You received this message because you are subscribed to the Google Groups > > "Ledger" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to [email protected]. > > For more options, visit https://groups.google.com/d/optout. > > > > -- > Craig, Corona De Tucson, AZ > enderw88.wordpress.com > > -- > > --- > You received this message because you are subscribed to the Google Groups > "Ledger" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- --- You received this message because you are subscribed to the Google Groups "Ledger" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
