Hello, I just tried make on 0ef88e2d9 and got the following error.
org-version: 9.5 (release_9.5-142-g0ef88e) makeinfo --no-split org.texi -o org.info make[1]: makeinfo: No such file or directory make[1]: *** [Makefile:72: org] Error 127 make[1]: Leaving directory '/home/djj/src/gnu/org-mode/doc' make: *** [mk/targets.mk:127: info] Error 2 Best regards, Jeremie
