Rebuilding PDF documentation:

apt-get install texlive-latex-base texlive-fonts-recommended \
  texlive-generic-recommended

make pdf

-----------------------------------------
Useful git remotes for SteamOS developers
-----------------------------------------

git remote add salsa https://salsa.debian.org/gnutls-team/gnutls.git
git remote add gitlab https://gitlab.com/gnutls/gnutls.git
