Searched refs:dump_doc_section (Results 1 – 1 of 1) sorted by relevance
437 sub dump_doc_section { subroutine2506 dump_doc_section($file, $section, xml_escape($contents));2524 dump_doc_section($file, $section, xml_escape($contents));