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?
Regards,
--
Nicolas Goaziou 0x80A93738
