Mario Martelli <tl...@schnuddelhuddel.de> writes: >> 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.
I'm not sure why is pandoc needed here. Org can export to Texinfo format, if needed. Also, if the syntax is not quite right, no worries, we'll fix it. Regards,
