Hi,

Pulling master @ 1690fbd88, calling `make doc' leads to error:

org-version: 9.4.6 (release_9.4.6-635-g1690fb)
makeinfo --no-split org.texi -o org.info
org.texi:6: warning: unrecognized encoding name `UTF-8'.
org.texi:810: Unknown command `arrow'.
org.texi:810: Misplaced {.
org.texi:810: Misplaced }.
org.texi:810: Unknown command `arrow'.
org.texi:810: Misplaced {.
org.texi:810: Misplaced }.
org.texi:821: Unknown command `arrow'.
org.texi:821: Misplaced {.
org.texi:821: Misplaced }.
org.texi:2627: Unknown command `arrow'.
org.texi:2627: Misplaced {.
org.texi:2627: Misplaced }.
org.texi:2629: Unknown command `arrow'.
org.texi:2629: Misplaced {.
org.texi:2629: Misplaced }.
org.texi:3548: Unknown command `arrow'.
org.texi:3548: Misplaced {.
org.texi:3548: Misplaced }.
org.texi:3548: Unknown command `arrow'.
org.texi:3548: Misplaced {.
org.texi:3548: Misplaced }.
makeinfo: Removing output file `org.info' due to errors; use --force to preserve.
make[1]: *** [org] Error 1
make: *** [info] Error 2

–
Daniel Fleischer