Improve GTK-DOC manual.

diff --git a/doc/reference/gnutls-docs.sgml b/doc/reference/gnutls-docs.sgml
index f970dcdde32e6747a40e0e89616858270a19d849..beefae5df62345c5790bf31bd23564f7d22a7e91 100644 (file)
--- a/doc/reference/gnutls-docs.sgml
+++ b/doc/reference/gnutls-docs.sgml
@@ -10,8 +10,8 @@
     <title>GnuTLS API Reference Manual</title>
 
     <para>
-      GnuTLS is a implementation of the TLS (Transport Layer Security)
-      and SSL (Secure Sockets Layer) protocols for the GNU project.
+      GnuTLS implements the TLS (Transport Layer Security) and SSL
+      (Secure Sockets Layer) protocols for the GNU project.
     </para>
 
     <para>
@@ -23,6 +23,7 @@
     <xi:include href="xml/gnutls.xml"/>
     <xi:include href="xml/extra.xml"/>
     <xi:include href="xml/x509.xml"/>
+    <xi:include href="xml/pkcs11.xml"/>
     <xi:include href="xml/pkcs12.xml"/>
     <xi:include href="xml/openpgp.xml"/>
     <xi:include href="xml/crypto.xml"/>
@@ -47,4 +48,7 @@
   <index role="2.10.0" id="api-index-2-10-0">
     <title>Index of new symbols in 2.10.0</title>
   </index>
+  <index role="2.10.0" id="api-index-2-12-0">
+    <title>Index of new symbols in 2.12.0</title>
+  </index>
 </book>