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?