[Bug ada/65259] Failure to build Ada DVI and PDF documentation

[andris.pavenis at iki dot fi]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65259

--- Comment #4 from Andris Pavenis <andris.pavenis at iki dot fi> ---
Now it is OK. Thanks.