bug#72257: Non-English manuals for 1.4.0 are unavailable

[pelzflorian (Florian Pelz)]

The manual builds now.  Closing.

(I had miscalculated how long it takes, but thanks if someone intervened
and initiated the build.)

Regards,
Florian