How to install trilinos-doc on Debian Unstable (Sid)