master/xmldev.h
changeset 758 8fa6f825eb7d
parent 362 ae38aeb6fde9
child 883 4963e22a267a
--- a/master/xmldev.h	Mon Sep 24 10:35:00 2007 +0000
+++ b/master/xmldev.h	Mon Sep 24 12:12:11 2007 +0000
@@ -63,11 +63,15 @@
 
 /*****************************************************************************/
 
+/** \cond */
+
 int ec_xmldev_init(ec_xmldev_t *, ec_master_t *, dev_t);
 void ec_xmldev_clear(ec_xmldev_t *);
 
 int ec_xmldev_request(ec_xmldev_t *, uint32_t, uint32_t);
 
+/** \endcond */
+
 /*****************************************************************************/
 
 #endif