doxml Manual Version 0.5: doxml_delete_document()

$Id: deldoc.html,v 1.7 1999/07/24 22:04:04 francis Exp $

void doxml_delete_document(doxml_document* context);

doxml_delete_document() is used to delete an document, including all associated data (elements, PIs, etc.).