[gentoo-dev] devmanual as pdf ?

[karl]

 Since the ip connection here isn't too good, is there some way I
can download the devmanual, perhaps as a pdf ?

 https://devmanual.gentoo.org/

Regards,
/Karl Hammar