Autotools / Documentation
Merge branch 'distrotech-gnutls' of https://github.com/Distrotech/gnutls into distrotech-gnutls