Nicolas Goaziou writes:

Hello,

"manual.org" was updated a month ago, and, so far, nobody complained about it. So, I think it's a good time to discuss about what could be
done next.

The first obvious step is to move the file into "doc/" directory. Then I assume we could delete "org.texi" and "org.info" there and generate new ones from the Org file. For example, the following command, called
from the "manual.org" file,

    (let ((org-texinfo-logfiles-extensions
           (cons "texi" org-texinfo-logfiles-extensions)))
      (org-texinfo-export-to-info))

produces an "org.info" file without an "org.texi". It thus prevents direct editing of "org.texi". I assume this could be called by "make
info" target.

So basically, the idea would be to not provide anymore an "org.texi" file. Only "manual.org" and "org.info". Emacs developers already apply fixes to ORG-NEWS, which is a plain Org file, so I guess it would not
make their life harder if "manual.org" replaces "org.texi".

WDYT?

+1

--
Thomas S. Dye
http://www.tsdye.com

Reply via email to