doc updates

3 files changed, 31 insertions, 14 deletions

diff --git a/doc/cha-library.texi b/doc/cha-library.texi
index fab4c21485..4b6218c40d 100644
--- a/doc/cha-library.texi
+++ b/doc/cha-library.texi
@@ -36,9 +36,9 @@ implementation, and is entirely implemented within the
 @acronym{GnuTLS} library.  The ``Certificate part'' consists of the
 certificate parsing, and verification functions and it uses
 functionality from the
-libtasn1@footnote{@url{http://www.gnu.org/software/libtasn1/}} library.
-The ``Cryptographic back-end'' is provided by the nettle@footnote{@url{http://www.lysator.liu.se/~nisse/nettle/}}
-library. 
+libtasn1 library.
+The ``Cryptographic back-end'' is provided by the nettle
+and gmplib libraries.
 
 @menu
 * Downloading and installing::
@@ -59,9 +59,10 @@ development release.  For example, GnuTLS 1.6.3 denote a stable
 release since 6 is even, and GnuTLS 1.7.11 denote a development
 release since 7 is odd.
 
-GnuTLS depends on Libnettle, and you will need to install it
-before installing GnuTLS.  Libnettle is available from
-@url{http://www.lysator.liu.se/~nisse/nettle/}.  
+GnuTLS depends on @code{nettle} and @code{gmplib}, and you will need to install it
+before installing GnuTLS.  The @code{nettle} library is available from
+@url{http://www.lysator.liu.se/~nisse/nettle/}, while @code{gmplib} is available
+from @url{http://www.gmplib.org/}.
 Don't forget to verify the cryptographic signature after downloading
 source code packages.
 
@@ -72,14 +73,17 @@ distribution archive.  Typically you invoke @code{./configure} and
 then @code{make check install}.  There are a number of compile-time
 parameters, as discussed below.
 
-The compression library, libz, as well as p11-kit are a optional dependencies.
-You can get libz from @url{http://www.zlib.net/} and p11-kit from @url{http://p11-glue.freedesktop.org/}.
-
-The X.509 part of GnuTLS needs ASN.1 functionality, from a library
-called libtasn1.  A copy of libtasn1 is included in GnuTLS.  If you
+Several parts of GnuTLS require ASN.1 functionality, which is provided by 
+a library called libtasn1.  A copy of libtasn1 is included in GnuTLS.  If you
 want to install it separately (e.g., to make it possibly to use
 libtasn1 in other programs), you can get it from
-@url{http://www.gnu.org/software/gnutls/download.html}.
+@url{http://www.gnu.org/software/libtasn1/}.
+
+The compression library, @code{libz}, the PKCS #11 helper library @code{p11-kit}, as well
+as the TPM library @code{trousers}, are 
+optional dependencies. You may get libz from @url{http://www.zlib.net/}, 
+p11-kit from @url{http://p11-glue.freedesktop.org/} and trousers from
+@url{http://trousers.sourceforge.net/}.
 
 A few @code{configure} options may be relevant, summarized below.
 They disable or enable particular features,
diff --git a/doc/latex/cover.tex b/doc/latex/cover.tex
index 4d86119b66..3a9fcecbec 100644
--- a/doc/latex/cover.tex
+++ b/doc/latex/cover.tex
@@ -10,10 +10,10 @@ to Patrick Pelletier and Andreas Metzler.
 \vspace*{\stretch{2}}
 
 
-\begin{quotation}
+\begin{flushleft}
 Copyright \copyright{} 2001-2013 Free Software Foundation, Inc.\\
 Copyright \copyright{} 2001-2013 Nikos Mavrogiannopoulos
-\end{quotation}
+\end{flushleft}
 
 \begin{flushleft}
 Permission is granted to copy, distribute and/or modify this document
diff --git a/doc/latex/gnutls.bib b/doc/latex/gnutls.bib
index 263fc71d7a..fd0d7bc91c 100644
--- a/doc/latex/gnutls.bib
+++ b/doc/latex/gnutls.bib
@@ -7,6 +7,19 @@
 	url = "http://tools.ietf.org/html/draft-ietf-websec-key-pinning-01"
 }
 
+@misc{RFC5280,
+  author="D. Cooper and S. Santesson and S. Farrell and S. Boeyen and R. Housley and W. Polk",
+  title="{Internet X.509 Public Key Infrastructure Certificate and Certificate Revocation List (CRL) Profile}",
+  series="Request for Comments",
+  number="5280",
+  howpublished="RFC 5280 (Proposed Standard)",
+  publisher="IETF",
+  organization="Internet Engineering Task Force",
+  year=2008,
+  month=may,
+  note="Available from \url{http://www.ietf.org/rfc/rfc5280}",
+}
+
 @Misc{ RFC5764,
 	author = "David McGrew and Eric Rescorla",
 	title = "{Datagram Transport Layer Security (DTLS) Extension to Establish Keys for the Secure Real-time Transport Protocol (SRTP)}",