Hi,
Le jeudi 11 juillet 2024 à 08:09, Sean Whitton
<spwhit...@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
