Hi,Le jeudi 11 juillet 2024 à 08:09, Sean Whitton <spwhitton@spwhitton.name> a écrit :
If you were going to make complex edits you would always fix it in the.org and regenerate the .texi, right?
That would indeed be my own preference, yes. I just did not think that I could deduce from it that it was upstream's preference too. I still think it has to be established according to how upstream actually works.
Which we can beyond doubt, in this case. I thought there was a commit (fee008c) that seemed to indicate the opposite (that sometimes modifications to .texi predate the equivalent modifications in .org), but I was wrong.
Sorry about the noise.It turns out that repairing the regeneration of the .texi file is simpler than expected, it should be done shortly.
Best, Aymeric