Re: fix-docsize.sh errors in make doc

[Michael Käppler]

Hi Jean,

Am 12.09.2020 um 13:28 schrieb Jean Abou Samra:
> Hi,
>
> Towards the end of the process, `make doc` outputs warnings coming
> from fix-docsize.sh. This occurs in CI too. Any ideas?
>
> Best,
> Jean

IIUC this is simply due to the fact that the mentioned manuals are not
translated and therefore
are missing in the doc tree. Since fix-docsize.sh cannot determine the
size of files that don't exist,
it outputs this message.

The more important issue seems to me that the missing translations cause
many broken links in the documentation.
Was this always the case?
I think these should links should either be removed or point to the
english version with an adjusted link text like
'Changes (no translation available)'

Cheers,
Michael