Hello, Bastien Guerry <b...@gnu.org> writes:
> To be continued, I'm bumping the thread. What is still needed for that to move forward? Again, the first step could be to move manual.org to core and have it generate a new org.texi, overwriting the previous one. I would also be nice to think about what can be done to automatically generate org.texi upon releases, and remove it from the repository. But that can come later. Regards, -- Nicolas Goaziou
