Hi Wolfgang,
[ Wolfgang Schweer, 2021-03-20 ]
The Debian Edu setup could be adjusted to install both packages in case
someone chooses pt_PT as locale, allowing each user to open the manual
with the preferred spelling.
This would be the ideal.
[ Wolfgang Schweer, 2021-03-20 ]
Also, there's always jenkins.debian.net with the latest translations
available, see:
https://jenkins.debian.net/userContent/debian-edu-doc/
I don't think most people will look for a manual in such a place.
Particularly if Debian Edu is targeted at the regular computer user
as well.
José Vieira