>> [... issue with make doc ...] > Sorry about that, I'm new in contributing to org. I found the solution > in the mailing list[1]. There was an old version of `makeinfo'.
> [1] > <https://orgmode.org/list/CAGY83EfXn8jBUu1jDqCnuXMyxYc1efcf8OEP2su2=vhm9d6...@mail.gmail.com/> Good to know. Thanks Daniel! -- Marco