Jeremie Juste <jeremieju...@gmail.com> writes: > 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
I cannot reproduce. Can you try make clean first? Or with a fresh clone. Best, Ihor
