> However, AFAIU, this change is about orgmanual.org, which is an outdated > copy of the official manual in contrib/.
Well, I thought I could begin with an easy task for my first contribution :) > Could you modify "org.texi" in doc/ directory instead? This will take a while, I assume. Although pandoc did a terrific job, there is some additional work to do. Kind regards Mario —
