Hello,

Bastien Guerry <b...@gnu.org> writes:

> Nothing, please move ahead.

Great.

> I suggest to rename the file org.org, which will produce org.texi.

I don't understand this part. Currently, "manual.org" is exported as
"org.texi" per

  #+export_file_name: org.texi

So we are getting the best of both worlds. Am I missing something?

> Or org-manual.org, which seems more readable.

I think "manual.org" is simpler, but I do not mind renaming it to
"org-manual.org". However, I find "org.org" silly.

In any case, I let you decide the name before moving forward.

> It would be great to have org-guide.org too, but I guess that's a
> lot of work.

It's a joke compared to manual.org. However, we first need to agree on
a style guide for "manual.org".

Regards,

-- 
Nicolas Goaziou

Reply via email to