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?

--Diego