Hi,
Le mercredi 10 juillet 2024 à 09:06, Sean Whitton
<spwhit...@spwhitton.name> a écrit :
We must be able to rebuild the files from the preferred source
for
modification. If we don't know that we can rebuild the .texi
from the
.org using only what's in Debian, then it would be an RC bug.
I was not aware of this idea of preferred source for modification.
Nonetheless, I do not think it is that obvious that the .org file
is the preferred source for modification. If it was, why ship the
.texi file at all ?
Most commits that modify one file also modify the other in the
same way. When they don't, sometimes you have typos corrected
first in the .org file, then in the .texi file in a later commit,
but sometimes also the opposite.
Do we absolutely have to declare one or the other exclusively the
preferred source for modification ?
But if we insist on declaring the .org file the preferred source
for modification, I could also solve the .texi regeneration bug,
but only later(TM).
Best,
Aymeric
