Hi Diego, On Tue, 12 Mar 2019 06:45:28 +0100 Diego Zamboni <di...@zzamboni.org> wrote:
> Hi, > > Not sure how long this has been happening, but I just noticed the > following errors when building org (output from "make"): > > /Library/Developer/CommandLineTools/usr/bin/make -C doc info > org-version: 9.2.2 (release_9.2.2-287-gb1429c) > makeinfo --no-split org.texi -o org > org.texi:6: warning: unrecognized encoding name `UTF-8'. > org.texi:808: Unknown command `arrow'. > org.texi:808: Misplaced {. > org.texi:808: Misplaced }. > org.texi:808: Unknown command `arrow'. > org.texi:808: Misplaced {. > org.texi:808: Misplaced }. > org.texi:819: Unknown command `arrow'. > org.texi:819: Misplaced {. > org.texi:819: Misplaced }. > org.texi:2595: Unknown command `arrow'. > org.texi:2595: Misplaced {. > org.texi:2595: Misplaced }. > org.texi:2597: Unknown command `arrow'. > org.texi:2597: Misplaced {. > org.texi:2597: Misplaced }. > org.texi:3452: Unknown command `arrow'. > org.texi:3452: Misplaced {. > org.texi:3452: Misplaced }. > org.texi:3452: Unknown command `arrow'. > org.texi:3452: Misplaced {. > org.texi:3452: Misplaced }. > org.texi:19512: Unknown command `arrow'. > org.texi:19512: Misplaced {. > org.texi:19512: Misplaced }. > org.texi:19512: Unknown command `arrow'. > org.texi:19512: Misplaced {. > org.texi:19512: Misplaced }. > makeinfo: Removing output file `org' due to errors; use --force to > preserve. make[1]: *** [org] Error 1 > make: *** [info] Error 2 > > Any ideas? Try the Gnu version of “makeinfo” (may be available as “gmakeinfo”, maybe you'll have to install it). I use “gmakeinfo” with the following lines added to my local.mk # How to create the info files from the texinfo file MAKEINFO = gmakeinfo # How to create the HTML file TEXI2HTML = gmakeinfo --html --number-sections Bet regards Robert > > --Diego