remove files that are not generated

diff --git a/doc/reference/gnutls-docs.sgml b/doc/reference/gnutls-docs.sgml
index 2dd64f1d103cb74a3aa4830bbb3522f5c5c46a00..936adf6bf77962f37b54ba3e84e208e7504e997a 100644 (file)
--- 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">