Aloha Bastien, Bastien Guerry writes:
Hi Nicolas,"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 bedone next.Having the manual in .org is a great achievement, congrats to anyonewho worked on this titanic task!I'm all for editing manual.org instead of org.texi in the long run.
This is wonderful news. Thank you! All the best, Tom -- Thomas S. Dye http://www.tsdye.com
