On Wed, Nov 01, 2023 at 11:10:04PM +0100, Patrice Dumas wrote: > > However, removing the first "@documentlanguage fr" line prevents the > > translation: > > That's because an element is onlt marked as 'untranslated' if there is a > @documentlanguage set at the time of parsing. It is possible to change > code such that it is always set.
Yes, I realise this now. Sorry for the confusion. I understand that the @copying block was not translated becayse there was no @documentlanguage at the time of its definition, so the output is as it should be.