From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Fri, 12 Oct 2012 08:09:26 +0000 (+0200)
Subject: remove files that are not generated
X-Git-Tag: gnutls_3_1_3~8
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=556c1fc956903ec0cd6013ed9ca1b64399bbb9ba;p=thirdparty%2Fgnutls.git

remove files that are not generated
---

diff --git a/doc/reference/gnutls-docs.sgml b/doc/reference/gnutls-docs.sgml
index 2dd64f1d10..936adf6bf7 100644
--- a/doc/reference/gnutls-docs.sgml
+++ b/doc/reference/gnutls-docs.sgml
@@ -33,13 +33,13 @@
     <xi:include href="xml/abstract.xml"/>
     <xi:include href="xml/x509.xml"/>
     <xi:include href="xml/openpgp.xml"/>
-    <xi:include href="xml/dtls.xml"/>
     <xi:include href="xml/crypto.xml"/>
     <xi:include href="xml/pkcs11.xml"/>
     <xi:include href="xml/pkcs12.xml"/>
-    <xi:include href="xml/ocsp.xml"/>
+<!--    <xi:include href="xml/ocsp.xml"/>
+    <xi:include href="xml/dtls.xml"/>
     <xi:include href="xml/tpm.xml"/>
-    <xi:include href="xml/dane.xml"/>
+    <xi:include href="xml/dane.xml"/> -->
 
   </chapter>
   <index id="api-index-full">