Re: [O] Which org mode document should I modify for new header argument?

[Nicolas Goaziou]

Hello,

stardiviner <address@hidden> writes:

> I try to find information in Org-mode web page
> https://orgmode.org/worg/org-contribute.html#patches
>
> But can't find which document should I modify. Recently I found both
> `org.texi` and `org-manual.org` are modified. Really don't know which
> one should I edit.

You should edit "org-manual.org". "org.texi" is generated from it.

Regards,

-- 
Nicolas Goaziou